| Acronym | Project Title | Project Duration | Project Leader | Sponsored By |
|---|
| | from | to | | |
|---|
| AGRID2 | Austrian Grid 2: Distributed Supercomputing in the Grid | Oct 2007 | Dec 2009 | Schreiner | Austrian Ministry for Science and Research (BMWF) |
| INTAS | Practical Formal Verification Using Automated Reasoning and Model Checking | Sep 2006 | May 2009 | Jebelean | INTAS |
| SSIAR | Symbolic Summation/Integration and Algebraic Relations | Apr 2007 | Mar 2009 | Kauers | FWF |
| Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models | Jan 2007 | Dec 2008 | Schreiner | Austrian Academic Exchange Service (ÖAD) Project Nr. HU 13/2007 |
| ALISA | ALgorithmically Integrable Systems in Action | Oct 2006 | Sep 2008 | Kartaschova | Austrian Academic Exchange Service (ÖAD) Project Nr. 10/2006 |
| SFB F1305-3 | Proving and Solving in Special Function Domains | Apr 2004 | Sep 2008 | Paule | FWF |
| SFB F1303-3 | Proving and Solving Over the Reals | Apr 2004 | Sep 2008 | Schicho | FWF |
| SFB F1301-3 | SFB Coordination and Service Project | Apr 2004 | Sep 2008 | Paule | FWF |
| SFB F1304-3 | Symbolic Differential Computation | Apr 2004 | Sep 2008 | Winkler | FWF |
| SFB F1302-3 | THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces | Apr 2004 | Sep 2008 | Jebelean | FWF |
| EGEE-II | Enabling Grids for E-sciencE | Apr 2006 | Apr 2008 | Schreiner | EU |
| MathBroker II | Jan 2005 | Dec 2007 | Schreiner | FWF |
| Program Verification using Algebraic Methods | Jan 2007 | Dec 2007 | Jebelean | Stiftung Aktion Oesterreich-Ungarn |
| DET | Differential Elimination Theory | Sep 2003 | Apr 2007 | Winkler | FWF |
| Symbolische Summation in Differenzkörpern (Symbolic Summation in Difference Fields) | Dec 2003 | Jan 2007 | Paule | FWF. Proj Nr: P16613-N12 |
| SEE-Grid | Austrian Grid Project | Sep 2004 | Dec 2006 | Schreiner | Austrian Ministry for Education, Science, and Culture (BMBWK) |
| CreaComp | CREACOMP e-Schulung von Kreativität und Problemlösungskompetenz | Apr 2004 | Dec 2006 | Buchberger | JKU |
| Explicit Resolution and Related Methods in Algebraic Geometry and Number Theory | Oct 2002 | Oct 2005 | Schicho | FWF. Proj Nr: P15551 |
| e-Austria Timisoara: Pilot Phase II | Mar 2004 | Jun 2005 | Jebelean | Austrian Ministries for Education, Science and Culture (BMBWK) and for Economic Affairs (BMWA) |
| DAAD: Differenzengleichungen und Computeralgebra | Jan 2004 | Dec 2004 | Paule | DAAD |
| Calculemus | Sep 2000 | Aug 2004 | Buchberger | EU. Proj Nr: HPRN-CT-2000-00102 |
| SFB F1304-2 | Computational Methods for Algebraic and Differential Varieties | Apr 2001 | Mar 2004 | Winkler | FWF |
| SFB F1303-2 | Proving and Solving over the Reals | Apr 2001 | Mar 2004 | Schicho | FWF |
| SFB F1305-2 | Symbolic Summation and Combinatorial Identities | Apr 2001 | Mar 2004 | Paule | FWF |
| SFB F1302-2 | THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces | Apr 2001 | Mar 2004 | Buchberger | FWF |
| Computer Aided Geometric Design by Symbolic-Numerical Methods | Jan 2002 | Dec 2003 | Winkler | ÖAD, wissenschaftlich-technisches Abkommen zwischen Österreich und Spanien (Accion Integrada 20/2002) |
| AMADEUS | Programm Amadeus 2002 bis 2003 - Wiss. -Techn. Abkommen Österreich-Frankreich | Jan 2002 | Dec 2003 | Paule | ÖAD. Proj Nr: ÖAD 17/2002 |
| Math Broker I | Dec 2001 | Nov 2003 | Schreiner | FWF |
| MKM | MKMNET Mathematical Knowledge Management Network | Sep 2002 | Nov 2003 | Buchberger | EU. Proj Nr: IST-2001-37057 |
| e-Austria Timisoara: Pilot Phase I | Mar 2002 | Jun 2003 | Buchberger | Austrian Ministries for Education, Science and Culture (BMBWK) and for Economic Affairs (BMWA) |
| Algebraische Analyse von Differentialgleichungen | Jan 2001 | Dec 2002 | Winkler | Land OOe |
| EMAG | Effective Methods in Algebraic Geometry | Jan 2001 | Dec 2002 | Schicho | OeAD |
| Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools | Jan 2001 | Dec 2002 | Schreiner | OeAD |
| AMCS | Algorithmic Methods for Curves and Surfaces | Jan 2000 | Dec 2001 | Winkler | ÖAD |
| SFB F1304-1 | Computations on Algebraic Curves and Surfaces | Apr 1998 | Mar 2001 | Winkler | FWF |
| PROVE | PROVE Project: Interactive Software for Mathematical Proof Learning | Apr 1998 | Mar 2001 | Buchberger | Land OÖ |
| SFB F1302-1 | Proving and Solving in General Domains | Apr 1998 | Mar 2001 | Buchberger | FWF |
| SFB F1303-1 | Proving and Solving over the Reals | Apr 1998 | Mar 2001 | Schicho | FWF |
| SFB F1305-1 | Symbolic Summation and Combinatorial Identities | Apr 1998 | Mar 2001 | Paule | FWF |
| MOST | Medical Representative On-line Simulation Training | Jan 1999 | Dec 2000 | Jebelean | EU |
| RTETP | Rewriting Techniques and Efficient Theorem Proving | Jan 1998 | Dec 2000 | Jebelean | EU INTAS |
| Computation of Adjoints for Surfaces | Jan 1998 | Apr 2000 | Schicho | FWF |
| HySaX | Hybrid Software for Algebraic Geometry in X-windows Environment | Nov 1995 | Nov 1999 | Winkler | FWF, Proj Nr: P11160-TEC |
| COASTER | COAST extended renewal | Jan 1998 | Dec 1999 | Jebelean | EU |
| Distributed Constraint Solving for Functional Logic Programming | Jul 1997 | Jun 1999 | Schreiner | Research Institute for Advanced Information Technology (AITEC) in the frame of the AITEC Contract Resarch Programme |
| Algebraic Curves-A Computational Approach | Jan 1997 | Dec 1998 | Winkler | ÖAD, wissenschaftlich-technisches Abkommen zwischen Österreich und Spanien (Accion Integrada 30/97) |
| Symbolic and Algebraic Computation | Jan 1995 | Dec 1998 | Winkler | EU, HCM network, Proj Nr: CHRX-CT94-0439 |
| COOPERATE | Automated Meeting Minutes Generator | Jun 1998 | Sep 1998 | Schreiner | Austrian Federal Ministry of Science and Transport in the frame of the COOPERATE initiative |
| Computational Geometry Algorithms Library | Oct 1996 | Mar 1998 | Stifter | European Union, Esprit IV. |
| HPGP | High-Performance Generic Programming | Sep 1996 | Feb 1998 | Schreiner | FWF grant P11414-TEC, Austrian National Bank (ÖNB-Nr FWF442) |
| ACCLAIM | Constraint Logic Programming | Jul 1992 | Jun 1996 | Hong | Austrian Ministery of Science and Research in the frame of ESPRIT III. |
| Parallel Symbolic Computation on Shared Memory Machine | Jul 1991 | Jun 1996 | Buchberger | Austrian Science Foundation. |
| Hybrid Evolutionary Programming Techniques | Oct 1993 | Mar 1996 | Buchberger | Japanese Ministery of Science in the frame of the Real World Computing Program (RWCP). |
| MEDLAR-II | The MEDLAR project | Oct 1992 | Jun 1995 | Buchberger | Austrian Ministery for Science and Research in the frame of ESPRIT (Basic Research Actions). |
| PARAGRAPH | Parallel Computer Graphics and Geometry | Apr 1993 | Mar 1995 | Buchberger | Austrian Ministery for Science and Research. |
| POSSO | Polynomial System Solving | Nov 1991 | Nov 1994 | Winkler | Austrian Ministery of Science and Research in the frame of ESPRIT III. |
| SGC | Symbolic Geometric Computation-Mathematical Foundations and Algorithms | Jan 1992 | Dec 1994 | Winkler | FWF, Proj Nr: P8573-PHY |
| Anwenudngen der Computer-Algebra in Algebraischer Geometrie | Jan 1991 | Dec 1993 | Winkler | BMWF, wissenschaftlich-technisches Abkommen zwischen Oesterreich und Spanien (Integrierte Aktion 16) |
| Algebraic and Computational Combinatorics | Oct 1989 | Dec 1992 | Paule | Austrian Science Foundation. |
| Gröbner Bases | Jan 1989 | Dec 1992 | Buchberger | Austrian Ministery of Science. Proj Nr: 613.523/3-27a/89 |
| MEDLAR | Mechanizing Deduction in the Logics of Practical Reasoning | Oct 1989 | Feb 1992 | Buchberger | Austrian Ministery for Science and Research in the frame of ESPRIT (Basic Research Actions). |
| Methodologies of Design and Implementation of Symbolic Computation Systems | Nov 1990 | Oct 1991 | Wang | DIS-Roma, Italy. |
| Computer-Aided Molecular Synthesis | Jun 1986 | Jun 1991 | Blurock | Uniware, Linz, Austrian Funds for Industrial Research, Chemie-Linz. |
| Solution of Algebraic Equations by Puiseux Series | Apr 1989 | May 1991 | Winkler | IBM New York and Vienna. |
| Algorithmic Algebraic Geometry | May 1989 | Apr 1991 | Winkler | Austrian Science Foundation, Austrian Ministery of Science and Research. |