Andreas Meier

According to our database, Andreas Meier authored at least 25 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Designing a GUI for Proofs - Evaluation of an HCI Experiment

Martin Homik, Andreas Meier

CoRR, 2009

2008

Automatic Construction and Verification of Isotopy Invariants.

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton

J. Autom. Reason., 2008

Proof planning with multiple strategies.

Erica Melis, Andreas Meier, Jörg H. Siekmann

Artif. Intell., 2008

2007

Proof planning with multiple strategies.

Andreas Meier

PhD thesis, 2007

2006

Omega.

Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2005

Applying SAT Solving in Classification of Finite Algebras.

Andreas Meier, Volker Sorge

J. Autom. Reason., 2005

A New Set of Algebraic Benchmark Problems for SAT Solvers.

Andreas Meier, Volker Sorge

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Impasse-Driven Reasoning in Proof Planning.

Andreas Meier, Erica Melis

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

System Description: Multi A Multi-strategy Proof Planner.

Andreas Meier, Erica Melis

Proceedings of the Automated Deduction, 2005

Bridging Theorem Proving and Mathematical Knowledge Retrieval.

Christoph Benzmüller, Andreas Meier, Volker Sorge

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Failure Reasoning in Multiple-Strategy Proof Planning.

Andreas Meier, Erica Melis

Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004

Adaptive Access to a Proof Planner.

Erica Melis, Andreas Meier, Martin Pollet

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Automatic Generation of Classification Theorems for Finite Algebras.

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Adaptable Mixed-Initiative Proof Planning for Educational Interaction.

Andreas Meier, Erica Melis, Martin Pollet

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Interactive Theorem Proving with Tasks.

Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Comparing Approaches to the Exploration of the Domain of Residue Classes.

Andreas Meier, Martin Pollet, Volker Sorge

J. Symb. Comput., 2002

Proof Development with Omega-MEGA: sqrt(2) Is Irrational.

Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet

Proceedings of the Logic for Programming, 2002

Proof Development with OMEGA.

Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer

Proceedings of the Automated Deduction, 2002

Employing Theory Formation to Guide Proof Planning.

Andreas Meier, Volker Sorge, Simon Colton

Proceedings of the Artificial Intelligence, 2002

2001

Classifying Isomorphic Residue Classes.

Andreas Meier, Martin Pollet, Volker Sorge

Proceedings of the Computer Aided Systems Theory, 2001

2000

Proof Planning with Multiple Strategies.

Erica Melis, Andreas Meier

Proceedings of the Computational Logic, 2000

System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.

Andreas Meier

Proceedings of the Automated Deduction, 2000

1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge

Formal Aspects Comput., 1999

1997

Omega: 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 H. Siekmann, Volker Sorge

Proceedings of the Automated Deduction, 1997