References in zbMATH (referenced in 32 articles , 2 standard articles )

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

1 2 next

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

1 2 next