!!Research output per year
!!Research output per year
Projektdetails
Beschreibung
The Calculemus project is a european cooperation between research groups
in Germany, France, Italy, England, Scotland, the Netherlands, Poland,
and RISC from Austria with the goal to join the research areas of
Automated Theorem Proving and Computer Algebra.
| Status | Abgeschlossen |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.09.2000 → 31.08.2004 |
Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101020 Technische Mathematik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Digital Transformation
-
CALCULEMUS: Midterm Report
Windsteiger, W., März 2003.Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht
-
Exploring an Algorithm for Polynomial Interpolation in the Theorema System
Windsteiger, W., Sep. 2003, Calculemus'03. T. Hardin and R. Rioboo (Hrsg.). Aracne Editrice S.R.L., S. 130-136 7 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Predicate Logic as a Working Language
Buchberger, B. & Windsteiger, W., 2003Publikation: Andere Beiträge › Sonstiger Beitrag
Aktivitäten
- 8 Vortrag nach Bewerbung und Auswahl
-
Exploring an Algorithm for Polynomial Interpolation in the Theorema System
Windsteiger, W. (Vortragende*r)
12 Sep. 2003Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt
-
An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema
Windsteiger, W. (Vortragende*r)
20 Okt. 2002Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt
-
An Automated Prover for Set Theory in Theorema
Windsteiger, W. (Vortragende*r)
05 Juli 2002Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt