Martin Pollet

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Connecting Logical Representations and Efficient Computations.
Electr. Notes Theor. Comput. Sci., 2006

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.
Electr. Notes Theor. Comput. Sci., 2006

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

Reductio ad Absurdum: Planning Proofs by Contradiction.
Proceedings of the Reasoning, 2006

2005
A Tough Nut for Mathematical Knowledge Management.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004
Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
Electr. Notes Theor. Comput. Sci., 2004

Intuitive and Formal Representations: The Case of Matrices.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Adaptive Access to a Proof Planner.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003
Automatic Learning of Proof Methods in Proof Planning.
Logic Journal of the IGPL, 2003

Certifying Solutions to Permutation Group Problems.
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.
J. Symb. Comput., 2002

Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
Proceedings of the Logic for Programming, 2002

Automatic Learning in Proof Planning.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002


Learn Omega-matic: System Description.
Proceedings of the Automated Deduction, 2002

On the Design of Mathematical Concepts.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001
Classifying Isomorphic Residue Classes.
Proceedings of the Computer Aided Systems Theory, 2001

1999
LUI: Lovely MEGA User Interface.
Formal Asp. Comput., 1999


  Loading...