MathDox
From MaRDI portal
swMATH7427MaRDI QIDQ19457FDOQ19457
Author name not available (Why is that?)
Official website: http://mathdox.org/new-web/index.html
Cited In (30)
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Interactive Mathematical Documents
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Dimensions of formality: a case study for MKM in software engineering
- On the design and implementation of a geometric knowledge base
- Formal analysis of optical systems
- 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
- Mathematical context in interactive documents
- Integrating Web Services into Active Mathematical Documents
- OpenMath in SCIEnce: SCSCP and POPCORN
- Electronic Geometry Textbook: a geometric textbook knowledge management system
This page was built for software: MathDox
