MathDox
From MaRDI portal
Software:19457
swMATH7427MaRDI QIDQ19457FDOQ19457
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
