Project | Mentor-2

Publications about the project

1. Impasse-Driven Reasoning in Proof Planning

   Andreas Meier; Erica Melis

   In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen, Pages 143-158, LNAI, Vol. 3863, Springer Verlag, Berlin, Germany, 2006.
2. Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

   Martin Homik; Andreas Meier

   In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers (UITP), Edinburgh, Pages 160-178, 4/2005.
3. Why Proof Planning for Maths Education and How?

   Erica Melis

   In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.