The following pages link to OMDoc (Q19193):
Displayed 38 items.
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Unifying Math Ontologies: A Tale of Two Standards (Q3637283) (← links)
- Integrating Web Services into Active Mathematical Documents (Q3637285) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
- A Mathematical Approach to Ontology Authoring and Documentation (Q3637294) (← links)
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems (Q3637304) (← links)
- (Q4474349) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
- Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases (Q4628493) (← links)
- Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666220) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (Q5195275) (← links)
- (Q5219924) (← links)
- A Search Engine for Mathematical Formulae (Q5302917) (← links)
- Mathematical Knowledge Management (Q5313056) (← links)
- Mathematical Knowledge Management (Q5313059) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Mathematical Knowledge Management (Q5313080) (← links)
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems (Q5428269) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464706) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- System Description: MathHub.info (Q5495942) (← links)
- Notations for Living Mathematical Documents (Q5505528) (← links)
- Mechanizing Mathematical Reasoning (Q5717451) (← links)
- Methods to Access and Retrieve Mathematical Content in ActiveMath (Q5747828) (← links)
- Verifying and Invalidating Textbook Proofs Using Scunak (Q5756759) (← links)
- Authoring LeActiveMath Calculus Content (Q5756765) (← links)
- Methods and means for semantic structuring of electronic mathematical documents (Q5892223) (← links)
- Mathematical Knowledge Management (Q5898509) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)