Author of the publication

Knowledge Representation and Management in ActiveMath

, , , , , and . Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge, 38 (1--3): 47--64 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Interactive studying elements of mathematical logic by means of the learning system ActiveMath, , and . Proceedings of the Russian scientific conference on Scientific service in the Internet, page 153--154. Novorossiysk, (September 2003)in Russian.Interleaving Processes in Case-Based Planning, and . 7th German Workshop on Case-Based Reasoning, page 20-29. (1999)\activemath: A Generic and Adaptive Web-Based Learning Environment, , , , , , , and . International Journal of Artificial Intelligence in Education, 12 (4): 385-407 (2001)The ActiveMath Learning Environment. System Description, , and . Calculemus Workshop at IJCAR, page 173--177. (2001)LeActiveMath Structure and Metadata Model, , , , , and . Deliverable, D6. LeActiveMath Consortium, (2004)Adaptive Course Generation and Presentation, , , , , , , , , and 3 other author(s). Proceedings of ITS-2000 Workshop on Adaptive and Intelligent Web-Based Education Systems, page 54--61. (2000)Green's Function Contact Maps for Accurate Real Time Collisions., and . ICRA, page 1849-1855. IEEE Robotics and Automation Society, (1999)Analogie im Beweisplanen. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany, (2000)Generating Personalized Documents Using a Presentation Planner, , and . ED-MEDIA 2001, World Conference on Educational Multimedia, Hypermedia and Telecommunications, page 1124--1125. AACE/Norfolk, (2001)What is Poor Man's Eye Tracking Good For, , and . 17th Annual Human- Computer Interaction Conference 2003, 2, Swindon, British Computer Society, (2003)