FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Wissensrepräsentation und -verarbeitung
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(376)
Research Grants
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Discourse phenomena in mathematical documents (2018)
Kohlhase A, Kohlhase M, Ouypornkochagorn T
Conference contribution, Conference Contribution
A proposal for an OpenMath JSON encoding (2018)
Kohlhase M, Wiesing T
Conference contribution, Conference Contribution
Syntactic/semantic analysis for high-precision math linguistics (2018)
Schaefer JF, Kohlhase M
Conference contribution, Original article
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects (2018)
Bercic K, Vidali J
Conference contribution, Conference Contribution
Intelligent Computer Mathematics (2018)
Rabe F
Edited Volume
Negative Translations and Normal Modality (2017)
Litak T, Polzer M, Rabenstein U
Conference contribution, Original article
Virtual theories – A uniform interface to mathematical knowledge bases (2017)
Wiesing T, Kohlhase M, Rabe F
Conference contribution, Original article
Virtual theories – A uniform interface to mathematical knowledge bases (2017)
Wiesing T, Kohlhase M, Rabe F
Conference contribution, Original article
Math object identifiers - Towards research data in mathematics (2017)
Kohlhase M
Conference contribution, Conference Contribution
Making PVS accessible to generic services by interpretation in a universal format (2017)
Kohlhase M, Müller D, Owre S, Rabe F
Conference contribution, Original article
‹
1
...
5
6
7
8
9
...
24
›