Skip to main content Skip to main navigation

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

Zusammenfassung

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

Projekte