The MIPPA project investigates usage foundations of proof planning techniques in mathematical tutoring systems. It targets the integration of the …
ActiveMath is an innovative, adaptive web-based environment for learning mathematics. The system guides the student in self-regulated learning, can …