The following pages link to Michael Kohlhase (Q219445):
Displaying 16 items.
- Transforming large collections of scientific publications to XML (Q626929) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Visual structure in mathematical expressions (Q2364680) (← links)
- Faceted Search for Mathematics (Q2807863) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← 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)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (Q3637291) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
