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

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

1 2 3 next

  1. Alavi Milani, Mir Mohammad Reza; Hosseinpour, Sahereh; Pehlivan, Huseyin: Rule-based production of mathematical expressions (2018)
  2. 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)
  3. Narciss, Susanne; Sosnovsky, Sergey; Andres, Eric: Adapting tutoring feedback strategies to motivation (2014) ioport
  4. Nghiem, Minh-Quoc; Kristianto, Giovanni Yoko; Topić, Goran; Aizawa, Akiko: Which one is better: presentation-based or content-based math search? (2014)
  5. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  6. Durand, Guillaume; Belacel, Nabil; LaPlante, François: Graph theory based model for learning path recommendation (2013) ioport
  7. David, Catalin; Jucovschi, Constantin; Kohlhase, Andrea; Kohlhase, Michael: Semantic alliance: a framework for semantic allies (2012)
  8. Tankink, Carst; Geuvers, Herman; Mckinna, James: Narrating formal proof (work in progress) (2012) ioport
  9. Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav: Workflows for the management of change in science, technologies, engineering and mathematics (2011)
  10. Fest, Andreas: Adding intelligent assessment: a Java framework for integrating dynamic mathematical software components into interactive learning activities (2011) MathEduc
  11. Heeren, Bastiaan; Jeuring, Johan: Interleaving strategies (2011)
  12. Lange, Christoph: Krextor -- an extensible framework for contributing content math to the web of data (2011)
  13. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  14. Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
  15. Cohen, A. M.; Cuypers, H.; Verrijzer, R.: Mathematical context in interactive documents (2010)
  16. Heeren, Bastiaan; Jeuring, Johan; Gerdes, Alex: Specifying rewrite strategies for interactive exercises (2010)
  17. Melis, Erica; Faulhaber, Arndt; Doost, Ahmad Salim; Ullrich, Carsten: Supporting flexible competency frameworks (2010) ioport
  18. Geuvers, H.: Proof assistants: history, ideas and future (2009)
  19. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  20. Goguadze, George: Semantic evaluation services for web-based exercises (2009) ioport

1 2 3 next