TNTBase
From MaRDI portal
Software:19194
No author found.
Related Items (15)
A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ A Query Language for Formal Mathematical Libraries ⋮ A scalable module system ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Unnamed Item ⋮ An Integrated Development Environment for Collections ⋮ Towards MKM in the Large: Modular Representation and Scalable Software Architecture ⋮ 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) ⋮ Integrating Web Services into Active Mathematical Documents ⋮ A Mathematical Approach to Ontology Authoring and Documentation ⋮ Realms: A Structure for Consolidating Knowledge about Mathematical Theories ⋮ The MMT API: A Generic MKM System
This page was built for software: TNTBase
