Andreas Meier

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Martin Homik, Andreas Meier
Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR (2009)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40 (2-3) (2008)
Erica Melis, Andreas Meier, Jörg H. Siekmann
Proof planning with multiple strategies. Artif. Intell. 172 (6-7) (2008)
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
Automatic Construction and Verification of Isotopy Invariants. IJCAR (2006)
Christoph Benzmüller, Andreas Meier, Volker Sorge
Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning (2005)
Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM (2005)
Andreas Meier, Erica Melis
Impasse-Driven Reasoning in Proof Planning. MKM (2005)
Andreas Meier, Volker Sorge
A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT (2005)
Andreas Meier, Erica Melis
System Description: Multi A Multi-strategy Proof Planner. CADE (2005)
Andreas Meier, Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Andreas Meier, Volker Sorge
Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reason. 35 (1-3) (2005)
Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
Automatic Generation of Classification Theorems for Finite Algebras. IJCAR (2004)
Erica Melis, Andreas Meier, Martin Pollet
Adaptive Access to a Proof Planner. MKM (2004)
Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
Interactive Theorem Proving with Tasks. Electron. Notes Theor. Comput. Sci. 103 (2004)
Andreas Meier, Erica Melis, Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electron. Notes Theor. Comput. Sci. 103 (2004)
Andreas Meier, Volker Sorge, Simon Colton
Employing Theory Formation to Guide Proof Planning. AISC (2002)
Andreas Meier, Martin Pollet, Volker Sorge
Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34 (4) (2002)
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR (2002)
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
Proof Development with OMEGA. CADE (2002)
Andreas Meier, Martin Pollet, Volker Sorge
Classifying Isomorphic Residue Classes. EUROCAST (2001)
Erica Melis, Andreas Meier
Proof Planning with Multiple Strategies. Computational Logic (2000)
Andreas Meier
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. CADE (2000)
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
nterface. Formal Aspects Comput. 11 (3) (1999)
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
Omega: Towards a Mathematical Assistant. CADE (1997)

Andreas Meier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Andreas Meier