TNTBase
From MaRDI portal
Software:19194
swMATH7139MaRDI QIDQ19194FDOQ19194
Author name not available (Why is that?)
Cited In (15)
- Project Abstract: Logic Atlas and Integrator (LATIN)
- A scalable module system
- The MMT API: A Generic MKM System
- Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories
- The Mizar Mathematical Library in OMDoc: translation and applications
- A Mathematical Approach to Ontology Authoring and Documentation
- A Proof Theoretic Interpretation of Model Theoretic Hiding
- A Query Language for Formal Mathematical Libraries
- An Integrated Development Environment for Collections
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture
- Integrating Web Services into Active Mathematical Documents
- Title not available (Why is that?)
- Combining Source, Content, Presentation, Narration, and Relational Representation
- A Foundational View on Integration Problems
This page was built for software: TNTBase
