ActiveMath
From MaRDI portal
swMATH6374MaRDI QIDQ18500FDOQ18500
Author name not available (Why is that?)
Official website: https://www.e-teaching.org/praxis/referenzbeispiele/ActiveMath
Cited In (75)
- Title not available (Why is that?)
- Main problems of diagrammatic reasoning. I: The generalization problem
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Title not available (Why is that?)
- Representation for Interactive Exercises
- Title not available (Why is that?)
- Krextor -- an extensible framework for contributing content math to the web of data
- Artificial intelligence and soft computing -- ICAISC 2004. 7th international conference, Zakopane, Poland, June 7--11, 2004. Proceedings.
- Automated theorem proving in GeoGebra: current achievements
- Methods to access and retrieve mathematical content in ActiveMath
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Mathematical Knowledge Management
- Which one is better: presentation-based or content-based math search?
- Rule-based production of mathematical expressions
- Title not available (Why is that?)
- Computer supported mathematics with \(\Omega\)MEGA
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings
- A Mathematical Approach to Ontology Authoring and Documentation
- Workflows for the management of change in science, technologies, engineering and mathematics
- AutoTutor
- foaf
- LAD
- DEpthLAUNAY
- GtkMathView
- jsMath
- Cabri
- Jacareto
- Formalization and specification of geometric knowledge objects
- LaTeXML
- OMDoc
- NNexus
- Aplusix-editor
- TNTBase
- MathDox
- SgpViz
- STEX+
- Electronic Geometry Textbook
- Aplusix
- Formulator MathML
- NZMATH
- EgoMath
- Proof General Kit
- Intergeo
- ELM-ART
- arXMLiv
- GeoText
- LeActiveMath
- Hector
- Geometrix
- KNOPPIX/Math
- DocBook
- HadamardSearch
- Hermes
- Mathfind
- Hyperproof
- PlanetMath
- Mathpert
- sTeX
- EPGY
- CPoint
- LibreOffice
- keyval
- CHYPRE
- EMILeA-stat
- Mathematical context in interactive documents
- Specifying rewrite strategies for interactive exercises
- Solr
- Proof assistants: history, ideas and future
- Integrating Web Services into Active Mathematical Documents
- Knowledge representation and management in ACTIVEMATH
- Using La\TeX\ as a semantic markup format
- Interleaving strategies
- Semantic alliance: a framework for semantic allies
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Mathematical Knowledge Management
This page was built for software: ActiveMath
