Ωmega: Towards a mathematical assistant

• 1 January 1997
• book chapter
• Published by Springer Nature
• p. 252-255
• https://doi.org/10.1007/3-540-63104-6_23

Abstract

Keywords

• COMPUTER ALGEBRA SYSTEM
• NATURAL DEDUCTION
• MATHEMATICAL TEXTBOOK
• AUTOMATE THEOREM PROVER
• EXTERNAL REASONER