The following pages link to Michael Kohlhase (Q219445):
Displayed 50 items.
- Mathematical formula search (Q389888) (← links)
- A scalable module system (Q391632) (← links)
- Mathematical knowledge management: transcending the one-brain-barrier with theory graphs (Q482501) (← links)
- Transforming large collections of scientific publications to XML (Q626929) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- Managing structural information by higher-order colored unification (Q1582389) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Translating the IMPS theory library to MMT/OMDoc (Q1798938) (← links)
- Discourse phenomena in mathematical documents (Q1798964) (← links)
- Automatically finding theory morphisms for knowledge management (Q1798969) (← links)
- Knowledge amalgamation for computational science and engineering (Q1798973) (← links)
- Theories as types (Q1799118) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Towards a heterogeneous query language for mathematical knowledge (Q2219379) (← links)
- FrameIT: detangling knowledge management from game design in serious games (Q2219399) (← links)
- Representing structural language features in formal meta-languages (Q2219401) (← links)
- TGView3D: a system for 3-dimensional visualization of theory graphs (Q2219412) (← links)
- Towards a unified mathematical data infrastructure: database and interface generation (Q2287896) (← links)
- Relational data across mathematical libraries (Q2287899) (← links)
- Integrating semantic mathematical documents and dynamic notebooks (Q2287923) (← links)
- Visual structure in mathematical expressions (Q2364680) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Software citations, information systems, and beyond (Q2364704) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- (Q2723443) (← links)
- (Q2751535) (← links)
- (Q2767925) (← links)
- Faceted Search for Mathematics (Q2807863) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences (Q2819266) (← links)
- A Universal Machine for Biform Theory Graphs (Q2843007) (← links)
- Representing, Archiving, and Searching the Space of Mathematical Knowledge (Q2879093) (← links)
- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs (Q2879095) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Semantic Alliance: A Framework for Semantic Allies (Q2907313) (← links)
- Extending MKM Formats at the Statement Level (Q2907314) (← links)
- MathWebSearch 0.5: Scaling an Open Formula Search Engine (Q2907334) (← links)
- The Planetary Project: Towards eMath3.0 (Q2907347) (← links)
- Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset (Q2907351) (← links)
- (Q3086775) (← links)
- (Q3185224) (← links)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)