#### Filter Results:

- Full text PDF available (120)

#### Publication Year

1992

2019

- This year (12)
- Last 5 years (62)
- Last 10 years (129)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Michael Kohlhase
- Lecture Notes in Computer Science
- 2006

tex 6154 2006-10-03 11:31:31Z VIII

- Michael Kohlhase, Ioan Sucan
- AISC
- 2006

We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with… (More)

- Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
- J. Symb. Log.
- 2004

In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order… (More)

- Patrick D. F. Ion, Robert R. Miner, +18 authors Stephen M. Watt
- WWW
- 2001

This specification defines the Mathematical Markup Language, or MathML. MathML is an XML application for describing mathematical notation and capturing both its structure and content. The goal of… (More)

- Michael Kohlhase
- 2000

- Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Moritz Schubotz
- NTCIR
- 2014

•Mathematics plays a fundamental role in Science, Technology, and Engineering (learn from Math, apply for STEM) •Mathematical knowledge is rich in content, sophisticated in structure, and technical… (More)

- Michael Kohlhase
- AISC
- 2000

In this paper we present an extension OMDoc to the OpenMath standard that allows the representation of the semantics and structure of various kinds of mathematical documents, including articles,… (More)

- Akiko Aizawa, Michael Kohlhase, Iadh Ounis
- NTCIR
- 2013

This paper presents an overview of a new pilot task, the NTCIR Math Task, which is specifically dedicated to information access to mathematical content. In particular, the paper summarizes the… (More)

- Jörg H. Siekmann, Christoph Benzmüller, +14 authors Jürgen Zimmer
- 2002

The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof… (More)

- Florian Rabe, Michael Kohlhase
- Inf. Comput.
- 2013

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on… (More)