#### Filter Results:

- Full text PDF available (30)

#### Publication Year

1998

2007

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- John Harrison, Konrad Slind, +13 authors Jörg Siekmann

- Vladimir Brezhnev, Lassaad Cheikhrouhou, +10 authors Markus Mos hner
- 2002

- Erica Melis, Eric Andrès, +5 authors Carsten Ullrich
- 2001

ActiveMath is a generic web-based learning system that dynamically generates interactive (mathematical) courses adapted to the student's goals, preferences, capabilities, and knowledge. The content is represented in an semantic xml-based format. For each user, the appropriate content is retrieved from a knowledge base and the course is generated… (More)

- Jörg H. Siekmann, Christoph Benzmüller, +14 authors Jürgen Zimmer
- CADE
- 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 development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary… (More)

- Andreas Meier, Martin Pollet, Volker Sorge
- J. Symb. Comput.
- 2002

- Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
- Logic Journal of the IGPL
- 2003

In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for… (More)

- Jörg H. Siekmann, Stephan M. Hess, +9 authors Volker Sorge
- Formal Asp. Comput.
- 1999

- M. Pollet
- 2002

Freek Wiedijk proposed the well-known theorem about the irrationality of √ 2 as a case study and used this theorem for a comparison of fifteen (interactive) theorem proving systems, which were asked to present their solution (see [48]). This represents an important shift of emphasis in the field of automated deduction away from the somehow artificial… (More)

- Mateja Jamnik, Manfred Kerber, Martin Pollet
- ECAI
- 2002

In this paper we present a framework for automated learning within mathematical reasoning systems. In particular, this framework enables proof planning systems to automatically learn new proof methods from well chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our framework consists of a representation formalism for… (More)