#### Filter Results:

- Full text PDF available (122)

#### Publication Year

1985

2017

- This year (1)
- Last 5 years (20)
- Last 10 years (46)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Begriie ohne Anschauungen sind leer Anschauungen ohne Begriie blind. Abstract Typical examples, that is, examples that are representative for a particular situation or concept, play an important r^ ole in human knowledge representation and reasoning. In real life situations more often than not, instead of a lengthy abstract characterization , a typical… (More)

- Lassaad Cheikhrouhou, Detlef Fehrer, +8 authors Volker Sorge
- 1997

mega is a mixed-initiative system with the ultimate purpose of supporting theorem proving in mainstream mathematics and mathematics education. The current system consists of a proof planner and an integrated collection of tools for formulating problems, proving subproblems, and proof presentation.

- Manfred Kerber, Michael Kohlhase
- CADE
- 1994

Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the… (More)

- Tim Kovacs, Manfred Kerber
- IWLCS
- 2000

- Christoph Benzmüller, Lassaad Cheikhrouhou, +10 authors Volker Sorge
- CADE
- 1997

- Manfred Kerber, Michael Kohlhase, Volker Sorge
- Journal of Automated Reasoning
- 1998

Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two different tasks proving and calculating. Even more important, proof and computation are often interwoven and not easily separable. In this article we advocate an integration of computer… (More)

- Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
- Elektronische Informationsverarbeitung und…
- 1994

- Xiaorong Huang, Manfred Kerber, +5 authors Martin Golumbic
- 1992

This report presents the main ideas underlying the {mkrp-system, an environment for the development of mathematical proofs. The motivation for the development of this system comes from our extensive experience with traditional rst-order theorem provers and aims to overcome some of their shortcomings. After comparing the beneets and drawbacks of existing… (More)

- Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
- J. Applied Logic
- 2008

Different reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as much as possible from their strengths and retain as little as possible from their weaknesses. Of particular interest is the integration of first-order and higher-order techniques. First-order reasoning systems, on the one hand,… (More)

- Manfred Kerber, Michael Kohlhase, Volker Sorge
- DISCO
- 1996

Mechanised reasoning systems and computer algebra systems have apparently diierent objectives. Their integration is, however, highly desirable, since in many formal proofs both of the two diierent tasks, proving and calculating, have to be performed. In the context of producing reliable proofs, the question how to ensure correctness when integrating a… (More)