Martin Pollet

According to our database, Martin Pollet authored at least 18 papers between 1999 and 2006.

Collaborative distances:

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

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

Reductio ad Absurdum: Planning Proofs by Contradiction.

Erica Melis, Martin Pollet, Jörg H. Siekmann

Proceedings of the Reasoning, 2006

2005

Connecting Logical Representations and Efficient Computations.

Martin Pollet, Volker Sorge

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.

Louise A. Dennis, Mateja Jamnik, Martin Pollet

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

A Tough Nut for Mathematical Knowledge Management.

Manfred Kerber, Martin Pollet

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

2004

Intuitive and Formal Representations: The Case of Matrices.

Martin Pollet, Volker Sorge, Manfred Kerber

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

Adaptive Access to a Proof Planner.

Erica Melis, Andreas Meier, Martin Pollet

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

2003

Automatic Learning of Proof Methods in Proof Planning.

Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller

Log. J. IGPL, 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

Certifying Solutions to Permutation Group Problems.

Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 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

Automatic Learning in Proof Planning.

Mateja Jamnik, Manfred Kerber, Martin Pollet

Proceedings of the 15th European Conference on Artificial Intelligence, 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

Learn Omega-matic: System Description.

Mateja Jamnik, Manfred Kerber, Martin Pollet

Proceedings of the Automated Deduction, 2002

On the Design of Mathematical Concepts.

Manfred Kerber, Martin Pollet

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Classifying Isomorphic Residue Classes.

Andreas Meier, Martin Pollet, Volker Sorge

Proceedings of the Computer Aided Systems Theory, 2001

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