Research output per year
Research output per year
Project Details
Description
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 | Finished |
|---|---|
| Effective start/end date | 01.09.2000 → 31.08.2004 |
Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101020 Technical mathematics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Digital Transformation
-
CALCULEMUS: Midterm Report
Windsteiger, W., Mar 2003.Research output: Working paper and reports › Research report
-
Exploring an Algorithm for Polynomial Interpolation in the Theorema System
Windsteiger, W., Sept 2003, Calculemus'03. T. Hardin and R. Rioboo (ed.). Aracne Editrice S.R.L., p. 130-136 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Predicate Logic as a Working Language
Buchberger, B. & Windsteiger, W., 2003Research output: Other contribution
Activities
- 8 Contributed talk
-
Exploring an Algorithm for Polynomial Interpolation in the Theorema System
Windsteiger, W. (Speaker)
12 Sept 2003Activity: Talk or presentation › Contributed talk › unknown
-
An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema
Windsteiger, W. (Speaker)
20 Oct 2002Activity: Talk or presentation › Contributed talk › unknown
-
An Automated Prover for Set Theory in Theorema
Windsteiger, W. (Speaker)
05 Jul 2002Activity: Talk or presentation › Contributed talk › unknown