|
ActiveMath |
ActiveMath is a web-based adaptive learning environment for mathematics that generates courses user-adaptively, i.e., dependent on the learner's goals,learning scenarios, mastery, and preferences. The system employs a semantic representation for mathematics and its augmentation with educational metadata. It uses (several) Computer Algebra systems to evaluate user input in interactive exercises. ActiveMath makes (global) learning suggestions. Many more things can be reported. ActiveMath is further developed, among others, in the EU-project LeActiveMath that involves other ITS-groups as well. Name of lab or work group: ActiveMath Department: Comptence Center for e-learning University or Company name: DFKI, German Research Center for Artificial Intelligence, and University of Saarland Contact: melis@dfki.de, Contact:cullrich@activemath.org Link: http://www.activemath.org |
Advance Geometry Tutor |
Advanced Geometry Tutor The aim of this project is to build an intelligent tutoring system (Advanced Geometry Tutor: AGT) for use in advanced geometry classes. In particular, AGT tutors geometry theorem proving with construction, which is one of the most challenging and creative parts of geometry. Building such an ITS requires an automated geometry theorem prover that can do auxiliary line construction. We have build following systems to achieve the goal of the project: GRAMY: An automated Euclidian geometry theorem prover that can find proofs with construction GRAMY-GUI: A graphical user interface to reify a search strategy (i.e., to make it visible and manipulable) Advanced Geometry Tutor: An intelligent tutoring system for geometry theorem proving with construction. Name of lab or work group: Pittsburgh Science of Learning Center Department: Human-Computer Interaction Institute University or Company name: Carnegie Mellon University Contact: Noboru.Matsuda@cs.cmu.edu Link: http://www.cs.cmu.edu/~mazda/AdvGeo/ |
--
LeNguyenThinh --
01 Jul 2008