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)
Open math map: Interaction (2014)
Acevedo C, Kohlhase M
Conference contribution, Conference Contribution
System description: A semantics-aware LATEX-to-office converter (2014)
Kohlhase L, Kohlhase M
Conference contribution, Original article
Representing, archiving, and searching the space of mathematical knowledge (2014)
Iancu M, Kohlhase M, Prodescu CC
Conference contribution, Original article
OpenMath language extensions (2014)
Kohlhase M
Conference contribution, Conference Contribution
EDEN -- An Epigraphic Web Database of Ancient Inscriptions (2014)
Scholz M, Holdenried M, Dreyer B, Görz G
Conference contribution
System description: MathHub.info (2014)
Iancu M, Jucovschi C, Kohlhase M, Wiesing T
Conference contribution, Original article
Realms: A structure for consolidating knowledge about mathematical theories (2014)
Carette J, Farmer W, Kohlhase M
Conference contribution, Original article
Flexary operators for formalized mathematics (2014)
Horozal F, Rabe F, Kohlhase M
Conference contribution, Original article
Extension proposal: Records in pragmatic open math (2014)
Kohlhase M
Conference contribution, Conference Contribution
Discourse-level parallel markup and meaning adoption in flexiformal theory graphs (2014)
Kohlhase M, Iancu M
Conference contribution, Original article
‹
1
...
10
11
12
13
14
...
24
›