ActiveMath
From MaRDI portal
Software:18500
swMATH6374MaRDI QIDQ18500FDOQ18500
Author name not available (Why is that?)
Cited In (30)
- Which One Is Better: Presentation-Based or Content-Based Math Search?
- Title not available (Why is that?)
- Methods to Access and Retrieve Mathematical Content in ActiveMath
- Main problems of diagrammatic reasoning. I: The generalization problem
- Title not available (Why is that?)
- Representation for Interactive Exercises
- Title not available (Why is that?)
- Semantic Alliance: A Framework for Semantic Allies
- Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
- Artificial intelligence and soft computing -- ICAISC 2004. 7th international conference, Zakopane, Poland, June 7--11, 2004. Proceedings.
- Automated theorem proving in GeoGebra: current achievements
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Mathematical Knowledge Management
- Rule-based production of mathematical expressions
- Title not available (Why is that?)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Computer supported mathematics with \(\Omega\)MEGA
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings
- Interleaving Strategies
- A Mathematical Approach to Ontology Authoring and Documentation
- Formalization and specification of geometric knowledge objects
- Mathematical Knowledge Management
- Mathematical context in interactive documents
- Specifying rewrite strategies for interactive exercises
- 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
- Title not available (Why is that?)
- Krextor - An Extensible Framework for Contributing Content Math to the Web of Data
This page was built for software: ActiveMath
