DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Michael Kohlhase
Michael Kohlhase
Documents with Flexible Notation Contexts As Interfaces To
Editing Knowledge in Large Mathematical Corpora. a Case Study with Semantic LATEX(STEX)
LATIN: Logic Atlas & Integrator Acronym: LATIN Reference Number(S): KO 2428/9-1, MO 971/2-1 January 23, 2012
General Computer Science 320201 Gencs I & II Lecture Notes
Alexander Koller
Towards Flexiformal Mathematics By
Towards a Mizar Mathematical Library in Omdoc Format
1 Curriculum Vitae: Dr. Michael Kohlhase
The Planetary System: Active Documents and a Web3.0 for Math
About the Contributors
Mathematical Knowledge Management: Transcending the One-Brain-Barrier with Theory Graphs
STEXIDE: an Integrated Development Environment for STEX Collections
The Planetary Project: Towards Emath3. 0
Mathwebsearch 0.5: Scaling an Open Formula Search Engine
Managing Knowledge for Assessing Spreadsheet-Based Models
Intelligent Computer Mathematics 9Th International Conference, CICM 2016 Bialystok, Poland, July 25–29, 2016 Proceedings
Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web
Disambiguating Symbolic Expressions in Informal Documents
Top View
Assessment for Spreadsheets
Universality of Proofs
Arxiv:1004.5071V1 [Cs.DL] 28 Apr 2010 Systeme [Safety Component for Autonomous Mobile Systems]”, See [FHL 08]) at DFKI