Author:
Melis Erica,Meier Andreas
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Gandalf. In CASC-14 http://www.cs.jcu.edu.au/~tptp/casc-14/ , 1997.
2. R.G. Bartle and D.R. Sherbert. Introduction to Real Analysis. John Wiley & Sons, New York, 1982.
3. C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, A. Meier, E. Melis, W. Schaarschmidt, J. Siekmann, and V. Sorge. OMEGA: Towards a mathematical assistant. In Proc. CADE-14, pages 252–255. Springer-Verlag, 1997.
4. C. Benzmüller, M. Jamnik, M. Kerber, and V. Sorge. Agent Based Mathematical Reasoning? In 7th CALCULEMUS Workshop, pages 21–32, 1999.
5. W.W. Bledsoe, R.S. Boyer, and W.H. Henneman. Computer proofs of limit theorems. Artificial Intelligence, 3(1):27–60, 1972.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Impasse-Driven Reasoning in Proof Planning;Lecture Notes in Computer Science;2006
2. Reductio ad Absurdum: Planning Proofs by Contradiction;Reasoning, Action and Interaction in AI Theories and Systems;2006
3. Roles of Math Search in Mathematics;Lecture Notes in Computer Science;2006
4. From MKRP to ΩMEGA;Lecture Notes in Computer Science;2005
5. System Description: Multi A Multi-strategy Proof Planner;Automated Deduction – CADE-20;2005