Publikationen

Seite 1 von 2.

Andreas Meier; Erica Melis
Impasse-Driven Reasoning in Proof Planning
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …
Martin Homik; Andreas Meier
Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment
In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …
Erica Melis
Why Proof Planning for Maths Education and How?
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …
Andreas Meier; Erica Melis
Failure-Reasoning in Multi-Strategy Proof Planning
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
Andreas Maier; Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning
In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.
Andreas Meier; Erica Melis
MULTI: A Multi-Strategy Proof Planner
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …
Martin Homik; Andreas Meier
Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment
Seki Report, Vol. SR-01-05, 2005.
Andreas Meier; Erica Melis; Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 105-120, Elsevier, 12/2004.
Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier
Interactive Theorem Proving with Tasks
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.
Erica Melis; Andreas Meier; Martin Pollet
Adaptive Access to a Proof Planner
In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). …