ActiveMath
From MaRDI portal
Software:18500
No author found.
Related Items (30)
Automated theorem proving in GeoGebra: current achievements ⋮ Artificial intelligence and soft computing -- ICAISC 2004. 7th international conference, Zakopane, Poland, June 7--11, 2004. Proceedings. ⋮ Rule-based production of mathematical expressions ⋮ Using La\TeX\ as a semantic markup format ⋮ Semantic Alliance: A Framework for Semantic Allies ⋮ Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematical context in interactive documents ⋮ Specifying rewrite strategies for interactive exercises ⋮ Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book ⋮ Unnamed Item ⋮ Formalization and specification of geometric knowledge objects ⋮ Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System ⋮ Methods to Access and Retrieve Mathematical Content in ActiveMath ⋮ Main problems of diagrammatic reasoning. I: The generalization problem ⋮ Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics ⋮ Interleaving Strategies ⋮ Krextor - An Extensible Framework for Contributing Content Math to the Web of Data ⋮ Knowledge representation and management in ACTIVEMATH ⋮ Integrating Web Services into Active Mathematical Documents ⋮ Representation for Interactive Exercises ⋮ A Mathematical Approach to Ontology Authoring and Documentation ⋮ Proof assistants: history, ideas and future ⋮ Which One Is Better: Presentation-Based or Content-Based Math Search? ⋮ Mathematical Knowledge Management ⋮ Mathematical Knowledge Management
This page was built for software: ActiveMath
