The following pages link to ActiveMath (Q18500):
Displaying 31 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Rule-based production of mathematical expressions (Q1634728) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- Artificial intelligence and soft computing -- ICAISC 2004. 7th international conference, Zakopane, Poland, June 7--11, 2004. Proceedings. (Q1890180) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Main problems of diagrammatic reasoning. I: The generalization problem (Q2271076) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings (Q2638157) (← links)
- Semantic Alliance: A Framework for Semantic Allies (Q2907313) (← links)
- (Q3046177) (← links)
- (Q3116967) (← links)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System (Q3582714) (← links)
- Integrating Web Services into Active Mathematical Documents (Q3637285) (← links)
- Representation for Interactive Exercises (Q3637286) (← links)
- A Mathematical Approach to Ontology Authoring and Documentation (Q3637294) (← links)
- (Q4413883) (← links)
- (Q4415109) (← links)
- (Q4433981) (← links)
- Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics (Q5200115) (← links)
- Interleaving Strategies (Q5200118) (← links)
- Krextor - An Extensible Framework for Contributing Content Math to the Web of Data (Q5200134) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Which One Is Better: Presentation-Based or Content-Based Math Search? (Q5495923) (← links)
- Methods to Access and Retrieve Mathematical Content in ActiveMath (Q5747828) (← links)
- Publication:5200115 (← links)
