Michael Kohlhase
Michael Kohlhase
Informatik, FAU Erlangen-Nürnberg
Email verificata su fau.de - Home page
TitoloCitata daAnno
OMDoc--An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy
M Kohlhase
Springer, 2006
440*2006
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
International Conference on Automated Deduction, 252-255, 1997
2231997
Mathematical markup language (MathML) version 2.0 . W3C Recommendation
R Ausbrooks, S Buswell, D Carlisle, S Dalmas, S Devitt, A Diaz, ...
World Wide Web Consortium 2003, 2003
2122003
A search engine for mathematical formulae
M Kohlhase, I Sucan
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
1862006
The open math standard
S Buswell, O Caprotti, DP Carlisle, MC Dewar, M Gaetano, M Kohlhase
version 2.0. Technical report, The Open Math Society, 2004. http://www …, 2004
1722004
Mbase: Representing knowledge and context for the integration of mathematical software systems
M Kohlhase, A Franke
Journal of Symbolic computation 32 (4), 365-402, 2001
1302001
A scalable module system
F Rabe, M Kohlhase
Information and Computation 230, 1-54, 2013
1262013
Omdoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge
M Kohlhase
International Conference on Artificial Intelligence and Symbolic Computation …, 2000
1252000
Higher-order semantics and extensionality
C Benzmüller, CE Brown, M Kohlhase
The Journal of Symbolic Logic 69 (4), 1027-1088, 2004
1202004
Proof Development with Ωmega
J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ...
International Conference on Automated Deduction, 144-149, 2002
1092002
System description: LEO—a higher-order theorem prover
C Benzmüller, M Kohlhase
International Conference on Automated Deduction, 139-143, 1998
1001998
Using as a semantic markup format
M Kohlhase
Mathematics in Computer Science 2 (2), 279-304, 2008
882008
System description: MathWeb, an agent-based communication layer for distributed automated theorem proving
A Franke, M Kohlhase
International Conference on Automated Deduction, 217-221, 1999
851999
Agent-oriented integration of distributed mathematical services
A Franke, SM Hess, CG Jung, M Kohlhase, V Sorge
Journal of Universal Computer Science 5 (3), 156-187, 1999
831999
SWiM: A semantic wiki for mathematical knowledge management
C Lange, M Kohlhase
Emerging Technologies for Semantic Work Environments: Techniques, Methods …, 2008
772008
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21 (3), 327-355, 1998
761998
Ω-MKRP: A proof development environment
X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ...
International Conference on Automated Deduction, 788-792, 1994
731994
A type-theoretic semantics for-DRT
M Kohlhase, S Kuschert, M Pinkal
Proceedings of the 10th Amsterdam colloquium, 479-498, 1996
661996
Transforming large collections of scientific publications to XML
H Stamerjohanns, M Kohlhase, D Ginev, C David, B Miller
Mathematics in Computer Science 3 (3), 299-307, 2010
632010
Project abstract: logic atlas and integrator (LATIN)
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe
International Conference on Intelligent Computer Mathematics, 289-291, 2011
602011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20