Skip to main content Skip to main navigation

Publikationen

Seite 1 von 1.

  1. Andreas Meier; Erica Melis; Martin Pollet

    Adaptable Mixed-Initiative Proof Planning for Educational Interaction

    In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 105-120, Elsevier, 12/2004.

  2. Erica Melis; Andreas Meier; Martin Pollet

    Adaptive Access to a Proof Planner

    In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). International Conference on Mathematical Knowledge Management (MKM), Bialowieza, Pages 251-264, LNCS, No. 3119, Springer, 9/2004.

  3. Martin Pollet; Erica Melis; Andreas Meier

    User Interface for Adaptive Suggestions for Interactive Proof

    In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), Pages 133-142, 2003.

  4. Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich

    Integration of Mathematical Systems into the ActiveMath Learning Environment

    In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible Mathematical Computation (IAMC-2001), located at International Symposium on Symbolic and Algebraic Computation (ISSAC'2001), July 22, University of Western Ontario, ON, Canada, 2001.

  5. Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: A Generic and Adaptive Web-Based Learning Environment

    In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.

  6. Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

    ActiveMath: System Description

    In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial Intelligence and Applications, Pages 580-582, IOS Press, 2001.

  7. Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer

    Adaptive Course Generation and Presentation

    In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on Interactive Tabletops and Surfaces (ITS), Montreal, QC, Canada, Pages 54-61, 2000.