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.


We describe several features of proof planning that can be useful for maths education.


German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz