ActiveMath

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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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