Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
A Skeptic's Approach to Combining HOL and Maple
Home
Publications
A Skeptic's Approach to Combining HOL and Maple
A Skeptic's Approach to Combining HOL and Maple
JH
J. Harrison
J. Harrison
LT
L. Théry
L. Théry
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1998
journal article
Published by
Springer Science and Business Media LLC
in
Journal of Automated Reasoning
Vol. 21
(3)
,
279-294
https://doi.org/10.1023/a:1006023127567
Abstract
No abstract available
Keywords
THEOREM
HOL
PROVERS
MAPLE
COMPUTER ALGEBRA
CHECKING
ILLUSTRATED
CONCRETE
DISADVANTAGES
Cited by 59 articles