| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Agent Based Mathematical Reasoning 1 1 This work was partly supported by EPSRC grant GR/M22031.
|
Benzmüller, Christoph
|
|
1999
|
23 |
3 |
p. 340-351
12 p.
|
artikel
|
| 2 |
Automatic Derivation of the Irrationality of e
|
Beeson, Michael
|
|
1999
|
23 |
3 |
p. 420-439
20 p.
|
artikel
|
| 3 |
Building Up Hierarchical Mathematical Domains Using Functors in TH∃OREM∀
|
Windsteiger, Wolfgang
|
|
1999
|
23 |
3 |
p. 401-419
19 p.
|
artikel
|
| 4 |
Employing External Reasoners in Proof Planning
|
Melis, Erica
|
|
1999
|
23 |
3 |
p. 440-450
11 p.
|
artikel
|
| 5 |
Integrating Computational and Deduction Systems Using OpenMath
|
Caprotti, O.
|
|
1999
|
23 |
3 |
p. 469-480
12 p.
|
artikel
|
| 6 |
MBase: Representing mathematical Knowledge in a Relational Data Base
|
Franke, Andreas
|
|
1999
|
23 |
3 |
p. 451-468
18 p.
|
artikel
|
| 7 |
On the way to certify Computer Algebra Systems
|
Boulmé, S.
|
|
1999
|
23 |
3 |
p. 370-385
16 p.
|
artikel
|
| 8 |
Preface
|
Armando, Alessandro
|
|
1999
|
23 |
3 |
p. 319-320
2 p.
|
artikel
|
| 9 |
The Control Component of Open Mechanized Reasoning Systems 1 1 We especially thank Paolo Pecchiari for his initial contributions to this work, and Carolyn Talcott for contributing to the technical development of the theory.
|
Armando, Alessandro
|
|
1999
|
23 |
3 |
p. 322-339
18 p.
|
artikel
|
| 10 |
The development of interactive algorithms for the Mathematical Environment
|
Letichevsky, A.A.
|
|
1999
|
23 |
3 |
p. 352-369
18 p.
|
artikel
|
| 11 |
The development of interactive algorithms for the Mathematical Environment
|
Letichevsky, A.A.
|
|
1999
|
23 |
3 |
p. 481-498
18 p.
|
artikel
|
| 12 |
The OMRS Project: State of the Art abstract of invited talk
|
Giunchiglia, Fausto
|
|
1999
|
23 |
3 |
p. 321-
1 p.
|
artikel
|
| 13 |
Theory Exploration Versus Theorem Proving abstract of invited talk
|
Buchberger, Bruno
|
|
1999
|
23 |
3 |
p. 386-
1 p.
|
artikel
|
| 14 |
User System Interaction Within Theorema 1 1 This research is supported by the Austrian Science Foundation (FWF)-project FO1302 (SFB). Extended Abstract
|
Nakagawa, Koji
|
|
1999
|
23 |
3 |
p. 387-400
14 p.
|
artikel
|
Tijdschrift beschrijving