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