| Original language | English |
|---|---|
| Publication status | Published - 2003 |
Fields of science
- 101 Mathematics
Projects
- 2 Finished
-
CALCULEMUS - Systems for Integrated Computation and Deduction
N., N. (PI)
01.09.2000 → 31.08.2004
Project: Funded research › EU - European Union
-
Solving and Proving in General Domains - Period I (Subproject of SFB F 13 Numerical and Symbolic Scientific Computation)
Buchberger, B. (PI)
01.04.1998 → 31.03.2001
Project: Funded research › FWF - Austrian Science Fund
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver