Publikation

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. Seiten 364-376 LNCS 2605 Springer-Verlag 2005.

Abstrakt

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

Projekte

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