ActiveMath is a stable, web-based, multi-lingual, user-adaptive learning system for mathematics. It is a Semantic Web application with a number of services. It’s Model-View-Controller architecture as presented in the figure shows that ActiveMath is a server application and only a few addtional tools need installation on the client. The technical requirements for using ActiveMath are described in the READMES.

References in zbMATH (referenced in 45 articles , 1 standard article )

Showing results 1 to 20 of 45.
Sorted by year (citations)

1 2 3 next

  1. Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon: Automated theorem proving in GeoGebra: current achievements (2015)
  2. Narciss, Susanne; Sosnovsky, Sergey; Andres, Eric: Adapting tutoring feedback strategies to motivation (2014) ioport
  3. Nghiem, Minh-Quoc; Kristianto, Giovanni Yoko; Topić, Goran; Aizawa, Akiko: Which one is better: presentation-based or content-based math search? (2014)
  4. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  5. Durand, Guillaume; Belacel, Nabil; LaPlante, François: Graph theory based model for learning path recommendation (2013) ioport
  6. Tankink, Carst; Geuvers, Herman; Mckinna, James: Narrating formal proof (work in progress) (2012) ioport
  7. Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav: Workflows for the management of change in science, technologies, engineering and mathematics (2011)
  8. Fest, Andreas: Adding intelligent assessment: a Java framework for integrating dynamic mathematical software components into interactive learning activities (2011) MathEduc
  9. Heeren, Bastiaan; Jeuring, Johan: Interleaving strategies (2011)
  10. Lange, Christoph: Krextor -- an extensible framework for contributing content math to the web of data (2011)
  11. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  12. Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
  13. Cohen, A. M.; Cuypers, H.; Verrijzer, R.: Mathematical context in interactive documents (2010)
  14. Heeren, Bastiaan; Jeuring, Johan; Gerdes, Alex: Specifying rewrite strategies for interactive exercises (2010)
  15. Melis, Erica; Faulhaber, Arndt; Doost, Ahmad Salim; Ullrich, Carsten: Supporting flexible competency frameworks (2010) ioport
  16. Geuvers, H.: Proof assistants: history, ideas and future (2009)
  17. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  18. Goguadze, George: Semantic evaluation services for web-based exercises (2009) ioport
  19. Goguadze, George: Representation for interactive exercises (2009)
  20. Kulpa, Zenon: Main problems of diagrammatic reasoning. I: The generalization problem (2009)

1 2 3 next