Projects per year
Projects
- 13 Finished
Search results
-
Finished
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Buchberger, B. (PI), Jebelean, T. (PI) & Paule, P. (PI)
01.07.2016 → 31.08.2018
Project: Funded research › EU - European Union
-
Formal Theory and Algorithmics of Noncommutative Gröbner Bases (Subprojekt des DK W-1214)
Erascu, M. (Researcher), Rahkooy, H. (Researcher), Tec, L. (Researcher), Wiesinger-Widi, M. (Researcher) & Buchberger, B. (PI)
01.10.2008 → 31.12.2017
Project: Funded research › FWF - Austrian Science Fund
-
CREACOMP e-Schulung von Kreativität und Problemlösungskompetenz
Buchberger, B. (PI)
01.04.2004 → 31.12.2006
Project: Other › Other project
-
CreaComp
Buchberger, B. (PI)
01.03.2004 → 31.12.2005
Project: Funded research › Federal / regional / local authorities
-
THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces - Periode II (Subprojekt des SFB F 13)
Buchberger, B. (PI)
01.04.2001 → 31.03.2004
Project: Funded research › FWF - Austrian Science Fund
-
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
-
-
Hybrid Evolutionary Programming Techniques
Buchberger, B. (PI)
01.10.1993 → 31.03.1996
Project: Funded research › Other sponsors
-
Parallel Computer Graphics and Geometry (PARAGRAPH)
Buchberger, B. (PI)
01.04.1993 → 31.03.1995
Project: Funded research › Other sponsors
-
The MEDLAR project (MEDLAR-II)
Buchberger, B. (PI)
01.10.1992 → 30.06.1995
Project: Funded research › Other sponsors
-
Parallel Symbolic Computation on Shared Memory Machine
Buchberger, B. (PI)
01.07.1991 → 30.06.1996
Project: Funded research › Other sponsors
-
Mechanizing Deduction in the Logics of Practical Reasoning (MEDLAR)
Buchberger, B. (PI)
01.10.1989 → 29.02.1992
Project: Funded research › Other sponsors
-