OMEGA

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


References in zbMATH (referenced in 25 articles )

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

1 2 next

  1. Blanchette, Jasmin Christian; Popescu, Andrei; Wand, Daniel; Weidenbach, Christoph: More SPASS with Isabelle. Superposition with hard sorts and configurable simplification (2012)
  2. Autexier, Serge; Dietrich, Dominik: Recent developments in $\Omega$MEGA’s proof search programming language (2010)
  3. Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Wagner, Marc: Organization, transformation, and propagation of mathematical knowledge in $\Omega $mega (2008)
  4. Wagner, Marc; Autexier, Serge; Benzmüller, Christoph: Plat$\Omega$: a mediator between text-editors and proof assistance systems (2007)
  5. 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)
  6. Autexier, Serge; Fiedler, Armin: Textbook proofs meet formal logic -- the problem of underspecification and granularity (2006)
  7. Benzmüller, Christoph; Meier, Andreas; Sorge, Volker: Bridging theorem proving and mathematical knowledge retrieval (2005)
  8. Fiedler, Armin: Natural language proof explanation (2005)
  9. Kerber, Manfred: From MKRP to $\Omega$mega (2005)
  10. Meier, Andreas; Melis, Erica: Failure reasoning in multiple-strategy proof planning (2005)
  11. Meier, Andreas; Melis, Erica: System description: Multi. A multi-strategy proof planner (2005)
  12. Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin; Horacek, Helmut; Vo, Bao Quoc: Assertion-level proof representation with under-specification (2004)
  13. Kutsia, Temur; Buchberger, Bruno: Predicate logic with sequence variables and sequence function symbols (2004)
  14. Siekmann, Jörg; Benzmüller, Christoph: $\Omega$MEGA: Computer supported mathematics (2004)
  15. Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans: Automated proof construction in type theory using resolution (2002)
  16. Meier, Andreas; Sorge, Volker; Colton, Simon: Employing theory formation to guide proof planning (2002)
  17. Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.: Proof development with $\Omega$MEGA: $\sqrt2$ is irrational (2002)
  18. 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)
  19. Benzmüller, Christoph; Meier, Andreas; Sorge, Volker: Distributed assertion retrieval (2001)
  20. Fiedler, Armin: P. rex: An interactive proof explainer (2001)

1 2 next