Why Proof Planning for Maths Education and How?.

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
e learning
proof search
domain knowledge
artificial intelligence
optimal solution
evolutionary algorithm