TNTBase
From MaRDI portal
Software:19194
swMATH7139MaRDI QIDQ19194FDOQ19194
Author name not available (Why is that?)
Cited In (15)
- 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
- 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
