The following pages link to Christoph Lange (Q504393):
Displayed 13 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- The ForMaRE Project – Formal Mathematical Reasoning in Economics (Q2843033) (← links)
- Semantics of the Distributed Ontology Language: Institutes and Institutions (Q2848885) (← links)
- Point-and-Write – Documenting Formal Mathematics by Reference (Q2907322) (← links)
- Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset (Q2907351) (← links)
- The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization (Q2907352) (← links)
- (Q3116967) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- Integrating Web Services into Active Mathematical Documents (Q3637285) (← links)
- A Mathematical Approach to Ontology Authoring and Documentation (Q3637294) (← links)
- Krextor - An Extensible Framework for Contributing Content Math to the Web of Data (Q5200134) (← links)
- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? (Q5495927) (← links)