Cited in
(29)- A scalable module system
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Combining source, content, presentation, narration, and relational representation
- Towards MKM in the large: modular representation and scalable software architecture
- A proof theoretic interpretation of model theoretic hiding
- A query language for formal mathematical libraries
- A foundational view on integration problems
- Project abstract: logic atlas and integrator (LATIN)
- The Mizar Mathematical Library in OMDoc: translation and applications
- A Mathematical Approach to Ontology Authoring and Documentation
- MathWebSearch
- foaf
- GtkMathView
- ActiveMath
- Hets
- LaTeXML
- MMT
- MathDox
- STEXIDE
- STEX+
- Formulator MathML
- PlanetMath
- sTeX
- MathML
- Workflows for the management of change in science, technologies, engineering and mathematics
- An Integrated Development Environment for Collections
- Realms: a structure for consolidating knowledge about mathematical theories
- Integrating Web Services into Active Mathematical Documents
- The MMT API: a generic MKM system
This page was built for software: TNTBase
