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 40 articles , 1 standard article )

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

1 2 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. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  4. Durand, Guillaume; Belacel, Nabil; LaPlante, François: Graph theory based model for learning path recommendation (2013) ioport
  5. Tankink, Carst; Geuvers, Herman; Mckinna, James: Narrating formal proof (work in progress) (2012) ioport
  6. Fest, Andreas: Adding intelligent assessment: a Java framework for integrating dynamic mathematical software components into interactive learning activities (2011) MathEduc
  7. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  8. Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
  9. Cohen, A.M.; Cuypers, H.; Verrijzer, R.: Mathematical context in interactive documents (2010)
  10. Heeren, Bastiaan; Jeuring, Johan; Gerdes, Alex: Specifying rewrite strategies for interactive exercises (2010)
  11. Melis, Erica; Faulhaber, Arndt; Doost, Ahmad Salim; Ullrich, Carsten: Supporting flexible competency frameworks (2010) ioport
  12. Geuvers, H.: Proof assistants: history, ideas and future (2009)
  13. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  14. Goguadze, George: Representation for interactive exercises (2009)
  15. Goguadze, George: Semantic evaluation services for web-based exercises (2009) ioport
  16. Kulpa, Zenon: Main problems of diagrammatic reasoning. I: The generalization problem (2009)
  17. Lange, Christoph; Kohlhase, Michael: A mathematical approach to ontology authoring and documentation (2009)
  18. Melis, Erica; Goguadze, Giorgi; Libbrecht, Paul; Ullrich, Carsten: Culturally adapted mathematics education with ActiveMath (2009) ioport
  19. Trgalova, Jana; Bouhineau, Denis; Nicaud, Jean-François: An analysis of interactive learning environments for arithmetic and algebra through an integrative perspective (2009) MathEduc
  20. Ullrich, Carsten; Lu, Tianxiang; Melis, Erica: A new framework for dynamic adaptations and actions (2009) ioport

1 2 next