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