Theorema: Towards computer-aided mathematical theory exploration
- 31 December 2006
- journal article
- Published by Elsevier BV in Journal of Applied Logic
- Vol. 4 (4), 470-504
- https://doi.org/10.1016/j.jal.2005.10.006
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A new symbolic method for solving linear two-point boundary value problems on the level of operatorsJournal of Symbolic Computation, 2005
- OMDocACM SIGSAM Bulletin, 2000
- Knowledge-based proof planningArtificial Intelligence, 1999
- OpenMath and MathML: semantic markup for mathematicsXRDS: Crossroads, The ACM Magazine for Students, 1999
- Introduction to Gröbner BasesPublished by Cambridge University Press (CUP) ,1998
- Productive use of failure in inductive proofJournal of Automated Reasoning, 1996
- Challenge problems in elementary calculusJournal of Automated Reasoning, 1990
- Using Gröbner bases to reason about geometry problemsJournal of Symbolic Computation, 1986
- On the application of Buchberger's algorithm to automated geometry theorem provingJournal of Symbolic Computation, 1986
- Differentiably Finite Power SeriesEuropean Journal of Combinatorics, 1980