 |
DEDUKTIONSTREFFEN 2000Systemdemonstrationen |
 |
|
DEDUKTIONSTREFFEN 2000Systemdemonstrationen |
|
| Peter
Baumgartner,
Ingo Dahn |
Universität Koblenz | Slicing
Books Helped by a Theorem Prover (Fällt wegen Krankheit leider aus) |
| Hans de Nivelle | MPII Saarbrücken | Bliksem and Coq |
| Georg Rock, Bruno Langenstein Rock | DFKI Saarbrücken | Hybrid systems in VSE-II |
| Serge Autexier | Universität des Saarlandes | INKA 5.0 Development Graph |
| Paul Libbrecht | Universität des Saarlandes | ActiveMath, a web-based mathematical learning tool |
| Martin Pollet | DFKI Saarbrücken | Interaktives Beweisplanen |
| Armin Fiedler | Universität des Saarlandes | Beweiserklärung mit P.rex |
| Zimmer, Jürgen | Universität des Saarlandes | Constraintlösen für Beweisplanung |
| Christoph Benzmüller | The University of Birmingham | Towards Agent-based Proof Planning |