ActiveMath: an intelligent tutoring system for mathematics.

DOI10.1007/978-3-540-24844-6_12MaRDI QIDQ4666220zbMATH OpenOpenAlexFDO

Authors Erica Melis, Jörg H. Siekmann

Publication date 12 April 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98109

Mathematics Subject Classification ID

Artificial intelligence (68T99) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• WebMath: A web-based ITS system
• A general reasoning apparatus for intelligent tutoring systems in mathematics
• Knowledge representation and management in ACTIVEMATH
• Why proof planning for maths education and how?
• Electronic homework on the WWW

Cited in

(16)

• Knowledge representation and management in ACTIVEMATH
• ActiveMath
• Intelligent tutoring: from SAKI to Byzantium
• A web-based intelligent tutoring system using hybrid rules as its representational basis
• KERMIT: A constraint-based tutor for database modeling
• An intelligent tutoring system incorporating a model of an experienced human tutor
• scientific article; zbMATH DE number 412675 (Why is no real title available?)
• A general reasoning apparatus for intelligent tutoring systems in mathematics
• WebMath: A web-based ITS system
• Electronic homework on the WWW
• Interleaving strategies
• Why proof planning for maths education and how?
• : A Linear Algebra Textbook System
• Mathematical context in interactive documents
• EDU-EX: A tool for auto-regulated intelligent tutoring systems development based on models
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• OMDoc
• ELM-ART

This page was built for publication: ActiveMath: an intelligent tutoring system for mathematics.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4666220)