Advertisement

Ωmega: Towards a mathematical assistant

  • Christoph Benzmüller
  • Lassaad Cheikhrouhou
  • Detlef Fehrer
  • Armin Fiedler
  • Xiaorong Huang
  • Manfred Kerber
  • Michael Kohlhase
  • Karsten Konrad
  • Andreas Meier
  • Erica Melis
  • Wolf Schaarschmidt
  • Jörg Siekmann
  • Volker Sorge
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)

Abstract

Ωmega is a mixed-initiative system with the ultimate purpose of supporting theorem proving in main-stream mathematics and mathematics education. The current system consists of a proof planner and an integrated collection of tools for formulating problems, proving subproblems, and proof presentation.

Keywords

Computer Algebra System Natural Deduction Mathematical Textbook Automate Theorem Prover External Reasoner 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bun88]
    A. Bundy. The use of explicit plans to guide inductive proofs. CADE 9, LNCS 310, pages 111–120, 1988.Google Scholar
  2. [HF96]
    X. Huang and A. Fiedler. Presenting machine-found proofs. In CADE 13, LNCS 1104, pages 221–225, 1996.Google Scholar
  3. [HKK+94]
    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.Google Scholar
  4. [KKS96]
    M. Kerber, M. Kohlhase, and V. Sorge. Integrating computer algebra with proof planning. DISCO'96, LNCS 1128, pages 204–215, 1996.Google Scholar
  5. [McC94]
    W. W. McCune. Otter 3.0 reference manual and guide. Technical Report ANL-94-6, Argonne National Laboratory, Argonne Il, USA, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Christoph Benzmüller
    • 1
  • Lassaad Cheikhrouhou
    • 1
  • Detlef Fehrer
    • 1
  • Armin Fiedler
    • 1
  • Xiaorong Huang
    • 1
  • Manfred Kerber
    • 1
  • Michael Kohlhase
    • 1
  • Karsten Konrad
    • 1
  • Andreas Meier
    • 1
  • Erica Melis
    • 1
  • Wolf Schaarschmidt
    • 1
  • Jörg Siekmann
    • 1
  • Volker Sorge
    • 1
  1. 1.Fachbereich InformatikUniversität des SaarlandesSaarbrückenGermany

Personalised recommendations