ActiveMath

swMATH6374MaRDI QIDQ18500FDOQ18500

Author name not available (Why is that?)

Described by source

• Artificial Intelligence and Soft Computing - ICAISC 2004

Cited In (30)

• 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
• 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
• Interleaving strategies
• Semantic alliance: a framework for semantic allies
• Electronic Geometry Textbook: a geometric textbook knowledge management system

This page was built for software: ActiveMath