Combining theorem proving and symbolic mathematical computing
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A unified-algebra-based specification language for symbolic computingPublished by Springer Nature ,2005
- IsabellePublished by Springer Nature ,1994
- OTTER 3.0 reference manual and guidePublished by Office of Scientific and Technical Information (OSTI) ,1994
- Introduction to MaplePublished by Springer Nature ,1993
- axịom™Published by Springer Nature ,1992
- Why am and eurisko appear to workArtificial Intelligence, 1984