Ωmega: Towards a mathematical assistant-Reference-Cited by-同舟云学术

Ωmega: Towards a mathematical assistant

Published:1997 Issue: Volume: Page:252-255
ISSN:0302-9743
Container-title:Automated Deduction—CADE-14
language:
Short-container-title:

Author:

Benzmüller Christoph,Cheikhrouhou Lassaad,Fehrer Detlef,Fiedler Armin,Huang Xiaorong,Kerber Manfred,Kohlhase Michael,Konrad Karsten,Meier Andreas,Melis Erica,Schaarschmidt Wolf,Siekmann Jörg,Sorge Volker

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63104-6_23

Reference5 articles.

1. A. Bundy. The use of explicit plans to guide inductive proofs. CADE 9, LNCS 310, pages 111–120, 1988.

2. X. Huang and A. Fiedler. Presenting machine-found proofs. In CADE 13, LNCS 1104, pages 221–225, 1996.

3. X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. Ω-MKRP a proof development environment. CADE12, LNAI 814, pages 788–792, 1994.

4. M. Kerber, M. Kohlhase, and V. Sorge. Integrating computer algebra with proof planning. DISCO'96, LNCS 1128, pages 204–215, 1996.

5. W. W. McCune. Otter 3.0 reference manual and guide. Technical Report ANL-94-6, Argonne National Laboratory, Argonne Il, USA, 1994.

Cited by 38 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TacticToe: Learning to Prove with Tactics;Journal of Automated Reasoning;2020-08-20

2. Translating a Dependently-Typed Logic to First-Order Logic;Recent Trends in Algebraic Development Techniques;2009

3. A proof-centric approach to mathematical assistants;Journal of Applied Logic;2006-12

4. Roles of Math Search in Mathematics;Lecture Notes in Computer Science;2006

5. Natural Language Proof Explanation;Lecture Notes in Computer Science;2005