MathDox
From MaRDI portal
Software:19457
swMATH7427MaRDI QIDQ19457FDOQ19457
Author name not available (Why is that?)
Cited In (10)
- Interactive Mathematical Documents
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Formal analysis of optical systems
- Mathematical context in interactive documents
- Integrating Web Services into Active Mathematical Documents
- OpenMath in SCIEnce: SCSCP and POPCORN
- Title not available (Why is that?)
- On the Design and Implementation of a Geometric Knowledge Base
- Dimensions of Formality: A Case Study for MKM in Software Engineering
This page was built for software: MathDox
