Ωmega: A theorem prover for higher-order logic based on proof planning.

References in zbMATH (referenced in 24 articles )

Showing results 1 to 20 of 24.
Sorted by year (citations)

1 2 next

  1. Autexier, Serge; Dietrich, Dominik: Recent developments in $\Omega$MEGA’s proof search programming language (2010)
  2. Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Wagner, Marc: Organization, transformation, and propagation of mathematical knowledge in $\Omega $mega (2008)
  3. Wagner, Marc; Autexier, Serge; Benzmüller, Christoph: Plat$\Omega$: a mediator between text-editors and proof assistance systems (2007)
  4. Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Meier, Andreas; Wirth, Claus-Peter: A generic modular data structure for proof attempts alternating on ideas and granularity (2006)
  5. Autexier, Serge; Fiedler, Armin: Textbook proofs meet formal logic -- the problem of underspecification and granularity (2006)
  6. Benzmüller, Christoph; Meier, Andreas; Sorge, Volker: Bridging theorem proving and mathematical knowledge retrieval (2005)
  7. Fiedler, Armin: Natural language proof explanation (2005)
  8. Kerber, Manfred: From MKRP to $\Omega$mega (2005)
  9. Meier, Andreas; Melis, Erica: Failure reasoning in multiple-strategy proof planning (2005)
  10. Meier, Andreas; Melis, Erica: System description: Multi. A multi-strategy proof planner (2005)
  11. Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc: Assertion-level proof representation with under-specification (2004)
  12. Kutsia, Temur; Buchberger, Bruno: Predicate logic with sequence variables and sequence function symbols (2004)
  13. Siekmann, Jörg; Benzmüller, Christoph: $\Omega$MEGA: Computer supported mathematics (2004)
  14. Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans: Automated proof construction in type theory using resolution (2002)
  15. Meier, Andreas; Sorge, Volker; Colton, Simon: Employing theory formation to guide proof planning (2002)
  16. Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.: Proof development with $\Omega$MEGA: $\sqrt2$ is irrational (2002)
  17. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen: Proof development with $\Omega$MEGA (2002)
  18. Benzmüller, Christoph; Meier, Andreas; Sorge, Volker: Distributed assertion retrieval (2001)
  19. Fiedler, Armin: P. rex: An interactive proof explainer (2001)
  20. Meier, Andreas; Pollet, Martin; Sorge, Volker: Classifying isomorphic residue classes (2001)

1 2 next