Cited in
(30)- Mathematical context in interactive documents
- On the design and implementation of a geometric knowledge base
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- foaf
- LAD
- GtkMathView
- jsMath
- ActiveMath
- NNexus
- Aplusix-editor
- TNTBase
- STEX+
- Electronic Geometry Textbook
- Aplusix
- Formulator MathML
- LeActiveMath
- WExEd
- CodeV
- LASCAD
- Zemax
- DocBook
- SACHS
- EMILeA-stat
- Integrating Web Services into Active Mathematical Documents
- OpenMath in SCIEnce: SCSCP and POPCORN
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Formal analysis of optical systems
- Interactive Mathematical Documents
- Dimensions of formality: a case study for MKM in software engineering
This page was built for software: MathDox
