Symbolic Techniques for Quantitative Extensions of Equality [SQUEE]Automated ReasoningRewriting-related Techniques and ApplicationsProject Lead: Teimuraz KutsiaProject Duration: 01/04/2022 - 31/03/2026MoreProject Website
Algebraic Solutions of Fuchsian Differential EquationsComputer Algebra for Differential EquationsSymbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 01/10/2021 - 30/09/2024More
Computer Algebra for Multi-Loop Feynman IntegralsComputer Algebra for CombinatoricsProject Lead: Carsten SchneiderProject Duration: 01/09/2021 - 31/08/2025More
Partition Congruences by the Localization MethodComputer Algebra for CombinatoricsProject Lead: Nicolas SmootProject Duration: 01/03/2021 - 31/08/2023More
Security and Safety for Shared AI by Deep Model Design (SCCH)Symbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 01/01/2020 - 31/12/2023More
European Network GRAPES: learninG, pRocessing And oPtimizing shapES [GRAPES]Symbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 01/12/2019 - 30/11/2023More
MATH LP (LIT Project)Automated ReasoningProject Lead: David CernaProject Duration: 01/08/2020 - 28/02/2023More
The many facets of orthomodularityProject Lead: Project Duration: 01/02/2020 - 31/01/2023MoreProject Website
Doctoral Program “Computational Mathematics” [DK W1214]Project Lead: Veronika PillweinProject Duration: 01/10/2008 - 31/12/2022MoreProject Website
Realizations of Rigid GraphsProject Lead: Georg GraseggerProject Duration: 01/11/2021 - 31/12/2022More
SAGEX – Scattering Amplitudes: from Geometry to ExperimentComputer Algebra for CombinatoricsProject Lead: Carsten SchneiderProject Duration: 01/09/2018 - 31/08/2022MoreProject Website
ARC: Automated Reasoning in The Class [Erasmus+ Project]Project Lead: Tudor JebeleanProject Duration: 01/10/2019 - 31/08/2022More
Computer Algebra and Combinatorial Inequalities [FWF SFB F050-07]Computer Algebra for CombinatoricsProject Lead: Veronika PillweinProject Duration: 01/03/2013 - 31/07/2022MoreProject Website
Computer Algebra for Nested Sums and Products [FWF SFB F050-09]Computer Algebra for CombinatoricsProject Lead: Carsten SchneiderProject Duration: 01/03/2013 - 31/07/2022MoreProject Website
Partition Analysis [SFB F050-06]Computer Algebra for CombinatoricsProject Lead: Peter PauleProject Duration: 01/03/2013 - 31/07/2022MoreProject Website
Computer Algebra Tools for Special Functions [DK6]Computer Algebra for CombinatoricsProject Lead: Peter PauleProject Duration: 01/10/2011 - 30/06/2022MoreProject Website
Extension of Algorithms for D-finite functions [DK15]Computer Algebra for CombinatoricsProject Lead: Veronika PillweinProject Duration: 01/10/2014 - 30/06/2022MoreProject Website
Symbolic-Numeric Techniques for Genus Computation and Parametrization [DK9]Computer Algebra for GeometryProject Lead: Josef SchichoProject Duration: 01/10/2014 - 30/06/2022MoreProject Website
Supercomputer MACH-2 [MACH-2]Project Lead: Wolfgang SchreinerProject Duration: 01/01/2017 - 31/12/2021MoreProject Website
Artin Approximation, Arc-Räume, Auflösung von SingularitätenComputer Algebra for GeometrySymbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 23/09/2018 - 22/09/2021More
Symbolic Solutions of Algebraic Differential Equations [ADE-solve]Computer Algebra for Differential EquationsProject Lead: Franz WinklerProject Duration: 01/05/2018 - 31/05/2021More
Die Algebra der dreidimensionalen BewegungenSymbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 01/04/2018 - 31/03/2021More
Generalization ALgorithms and Applications [GALA]Rewriting-related Techniques and ApplicationsProject Lead: Teimuraz KutsiaProject Duration: 01/02/2016 - 31/01/2021MoreProject Website
Combinatorics and Codes for Information Security [SBA-K1]Automated ReasoningFormal MethodsRewriting-related Techniques and ApplicationsProject Lead: Teimuraz KutsiaProject Duration: 01/01/2017 - 31/12/2020More
Computer Algebra for Linear Boundary Problems [CALBP]Computer Algebra for Differential EquationsProject Lead: Markus RosenkranzProject Duration: 01/06/2017 - 30/09/2020MoreProject Website
Puzzle RobotAutomated ReasoningProject Lead: Wolfgang WindsteigerProject Duration: 01/07/2019 - 31/03/2020More
Logic Technology for Computer Science Education [LOGTECHEDU]Automated ReasoningFormal MethodsProject Lead: Wolfgang Schreiner, Wolfgang WindsteigerProject Duration: 01/03/2018 - 29/02/2020MoreProject Website
Mathematics in MotionSymbolic Methods in KinematicsProject Lead: Georg GraseggerProject Duration: 01/10/2019 - 29/02/2020More
Algebraic Path Planning of 6R/P Manipulators [6RP_2016]Symbolic Methods in KinematicsProject Lead: Jose CapcoProject Duration: 11/01/2016 - 10/01/2020MoreProject Website
Algebraic Representations in Computer-Aided Design for complEx Shapes [ARCADES]Symbolic Methods in KinematicsProject Lead: Josef SchichoProject Duration: 01/01/2016 - 01/01/2020MoreProject Website
Semantic Technologies for Computer Science Education [SemTech]Formal MethodsProject Lead: Wolfgang SchreinerProject Duration: 01/01/2018 - 31/12/2019MoreProject Website
Theory Exploration in Theorema: Recent Approaches to Gröbner Bases [TETRA-GB]Automated ReasoningProject Lead: Alexander MaletzkyProject Duration: 01/01/2017 - 30/04/2019MoreProject Website
Satisfiability Checking and Symbolic Computation [SC2]Automated ReasoningProject Lead: Bruno BuchbergerProject Duration: 01/07/2016 - 31/08/2018MoreProject Website
Der Entwurf und die informationstechnische Modellierung kognitiver Funknetze [96öu8]Project Lead: Project Duration: 01/06/2017 - 31/05/2018More
Formal Theory and Algorithmics of Noncommutative Gröbner Bases [DK1]Project Lead: Bruno BuchbergerProject Duration: 01/10/2010 - 31/12/2017MoreProject Website
RISC PhD Fellowships 2017UncategorizedProject Lead: Peter PauleProject Duration: 01/01/2017 - 31/12/2017More
Technologietransfer 2017UncategorizedProject Lead: Peter PauleProject Duration: 01/01/2017 - 31/12/2017More
Partnership for Advanced Computing in Europe [PRACE-4IP]Project Lead: Wolfgang SchreinerProject Duration: 01/02/2015 - 30/04/2017MoreProject Website
The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard II]Project Lead: Wolfgang SchreinerProject Duration: 01/10/2014 - 31/03/2017MoreProject Website
RISC PhD Fellowships 2016 [PhD 2016]Project Lead: Peter PauleProject Duration: 01/01/2016 - 31/12/2016More
Technologietransfer 2016 [TechTrans 2016]Project Lead: Peter PauleProject Duration: 01/01/2016 - 31/12/2016More
Symbolic Computation Techniques for Unranked Terms [SToUT]Project Lead: Teimuraz KutsiaProject Duration: 01/06/2012 - 30/09/2016MoreProject Website
Partnership for Advanced Computing in Europe [PRACE-3IP]Project Lead: Wolfgang SchreinerProject Duration: 01/07/2012 - 30/06/2016MoreProject Website
Smart Production – Machine Data Analysis and Interpretation in Production [SmaPro]Project Lead: Wolfgang SchreinerProject Duration: 01/10/2014 - 31/05/2016MoreProject Website
Fast computer algebra for special functions [START]Project Lead: Project Duration: 01/04/2010 - 31/03/2016More
Performance Analysis of Wireless Sensor Networks [90öu6]Project Lead: Wolfgang SchreinerProject Duration: 01/04/2015 - 31/03/2016MoreProject Website
Multivariate Symbolic Asymptotics [DK13]Project Lead: Project Duration: 01/10/2011 - 31/12/2015MoreProject Website
RISC PhD Fellowships 2014/2015 [PhD 2014/15]Project Lead: Peter PauleProject Duration: 01/10/2014 - 31/12/2015More
Technologietransfer 2014/15 [TechTrans 2014/15]Project Lead: Peter PauleProject Duration: 01/12/2014 - 31/12/2015More
Algorithmic Lattice Path Counting Using the Kernel Method [FWF SFB F050-04]Computer Algebra for CombinatoricsProject Lead: Manuel KauersProject Duration: 01/03/2013 - 31/05/2015MoreProject Website
Constraint Logic Programming over Unranked Terms and Hedges with Description OperatorsProject Lead: Teimuraz KutsiaProject Duration: 01/04/2012 - 31/03/2015More
LHCPhenoNetProject Lead: Carsten SchneiderProject Duration: 20/01/2011 - 20/12/2014MoreProject Website
Performance Analysis of Real-time Systems and Software Designs [HU 10/2012]Project Lead: Wolfgang SchreinerProject Duration: 01/12/2012 - 30/11/2014MoreProject Website
Rational Parametric Algebraic Curves [DK11]Project Lead: Franz WinklerProject Duration: 01/10/2011 - 30/09/2014MoreProject Website
RISC PhD Fellowships 2013/2014 [PhD 2013/14]Project Lead: Peter PauleProject Duration: 01/10/2013 - 30/09/2014More
Technologietransfer 2013/14 [TechTrans 2013/14]Project Lead: Peter PauleProject Duration: 01/07/2013 - 01/06/2014More
Timing Analysis and Symbolic Computation [TASCo]Project Lead: Tudor JebeleanProject Duration: 01/02/2009 - 01/02/2014MoreProject Website
Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard]Project Lead: Wolfgang SchreinerProject Duration: 01/01/2012 - 31/12/2013MoreProject Website
Computer Algebra for Special Functions Inequalities [P22748-N18]Project Lead: Veronika PillweinProject Duration: 01/10/2010 - 30/09/2013More
RISC PhD Fellowships 2012/2013 [PhD 2012/13]Project Lead: Peter PauleProject Duration: 01/10/2012 - 30/09/2013More
Evaluating Process Algebra Models versus State-oriented Models [85öu8]Project Lead: Wolfgang SchreinerProject Duration: 01/10/2012 - 30/09/2013MoreProject Website
Technologietransfer 2012/13 [TechTrans 2012/13]Project Lead: Peter PauleProject Duration: 01/07/2012 - 30/06/2013More
Symbolic Summation in Perturbative Quantum Field TheoryProject Lead: Carsten SchneiderProject Duration: 01/02/2008 - 31/01/2013More
Ontologie- und Persönlichkeitsmodell basierter Abgleich von Bewerberprofilen und Stellenangeboten zur Effizienzsteigerung [OntoJob]Project Lead: Tudor JebeleanProject Duration: 01/11/2010 - 31/12/2012More
Static Program Analysis using Symbolic Computation [SPy]Project Lead: Project Duration: 01/06/2011 - 30/11/2012MoreProject Website
RISC PhD Fellowships 2011/2012 [PhD 2011/12]Project Lead: Peter PauleProject Duration: 01/10/2011 - 30/09/2012More
High-Performance Quality Inspection of Industrial Textile Fabrics by 3D Profile Analysis [texQuality3D]Project Lead: Wolfgang SchreinerProject Duration: 01/07/2010 - 30/06/2012More
Technologietransfer 2011/12 [TechTrans 2011/12]Project Lead: Peter PauleProject Duration: 01/07/2011 - 30/06/2012More
Symbolic Integration and Special Functions [P20162-N18]Project Lead: Peter PauleProject Duration: 01/01/2008 - 31/12/2011More
Formal Theory and Algorithmics of Noncommutative Gröbner BasesProject Lead: Bruno BuchbergerProject Duration: 01/10/2008 - 30/09/2011MoreProject Website
Computer Algebra Tools for Special Functions in Numerical AnalysisProject Lead: Peter PauleProject Duration: 01/10/2008 - 30/09/2011MoreProject Website
Formally Specified Computer Algebra SoftwareProject Lead: Wolfgang SchreinerProject Duration: 01/10/2008 - 30/09/2011MoreProject Website
Rational Parametric Algebraic CurvesProject Lead: Franz WinklerProject Duration: 01/10/2008 - 30/09/2011MoreProject Website
RISC PhD Fellowships 2010/2011 [PhD 2010/11]Project Lead: Peter PauleProject Duration: 01/10/2010 - 30/09/2011More
Technologietransfer 2010/11 [TechTrans 2010/11]Project Lead: Peter PauleProject Duration: 01/07/2010 - 30/06/2011More
SCIEnce: Symbolic Computation Infrastructure for Europe [SCIEnce]Project Lead: Franz WinklerProject Duration: 01/05/2006 - 30/04/2011MoreProject Website
Symbolic and Algebraic Methods for LPDOs [DIFFOP]Project Lead: Franz WinklerProject Duration: 01/05/2008 - 30/04/2011MoreProject Website
Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications [iEAT]Project Lead: Tudor JebeleanProject Duration: 01/03/2008 - 28/02/2011More
Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern PrinciplesProject Lead: Wolfgang SchreinerProject Duration: 01/01/2009 - 31/12/2010MoreProject Website
Discrete resonances in nonlinear wavesystems [DIRNOW]Project Lead: Project Duration: 01/10/2007 - 30/10/2010MoreProject Website
RISC PhD Fellowship 2009/2010 [PhD 2009/10]Project Lead: Peter PauleProject Duration: 01/10/2009 - 30/09/2010More
Technologietransfer 2009/10 [TechTrans 2009/10]Project Lead: Peter PauleProject Duration: 01/07/2009 - 30/06/2010More
Austrian Grid 2: Distributed Supercomputing in the Grid [AGRID2]Project Lead: Wolfgang SchreinerProject Duration: 01/10/2007 - 31/12/2009MoreProject Website
Practical Formal Verification Using Automated Reasoning and Model Checking [INTAS]Project Lead: Tudor JebeleanProject Duration: 01/09/2006 - 31/05/2009MoreProject Website
Symbolic Summation/Integration and Algebraic Relations [SSIAR]Project Lead: Project Duration: 01/04/2007 - 30/03/2009More
Analzying Real-Time Systems by Combining Temporal Logic and Statistical ModelsProject Lead: Wolfgang SchreinerProject Duration: 01/01/2007 - 31/12/2008MoreProject Website
ALgorithmically Integrable Systems in Action [ALISA]Project Lead: Project Duration: 01/10/2006 - 30/09/2008MoreProject Website
Proving and Solving in Special Function Domains [SFB F1305-3]Project Lead: Peter PauleProject Duration: 01/04/2004 - 30/09/2008MoreProject Website
Proving and Solving Over the Reals [SFB F1303-3]Project Lead: Josef SchichoProject Duration: 01/04/2004 - 30/09/2008MoreProject Website
SFB Coordination and Service Project [SFB F1301-3]Project Lead: Peter PauleProject Duration: 01/04/2004 - 30/09/2008MoreProject Website
Symbolic Differential Computation [SFB F1304-3]Project Lead: Franz WinklerProject Duration: 01/04/2004 - 30/09/2008MoreProject Website
THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces [SFB F1302-3]Project Lead: Tudor JebeleanProject Duration: 01/04/2004 - 30/09/2008MoreProject Website
Enabling Grids for E-sciencE [EGEE-II]Project Lead: Wolfgang SchreinerProject Duration: 01/04/2006 - 30/04/2008MoreProject Website
A Special Function Tool-Box for High-Order Finite Element MethodsComputer Algebra for CombinatoricsProject Lead: Peter PauleProject Duration: 01/03/2004 - 29/02/2008More
Program Verification using Algebraic MethodsProject Lead: Tudor JebeleanProject Duration: 01/01/2007 - 31/12/2007MoreProject Website
MathBroker IIProject Lead: Wolfgang SchreinerProject Duration: 01/01/2005 - 31/12/2007MoreProject Website
Differential Elimination Theory [DET]Project Lead: Franz WinklerProject Duration: 01/09/2003 - 30/04/2007More
Symbolische Summation in Differenzkörpern (Symbolic Summation in Difference Fields)Project Lead: Peter PauleProject Duration: 01/12/2003 - 31/01/2007More
Austrian Grid Project [SEE-Grid]Project Lead: Wolfgang SchreinerProject Duration: 01/09/2004 - 31/12/2006MoreProject Website
CREACOMP e-Schulung von Kreativität und Problemlösungskompetenz [CreaComp]Project Lead: Bruno BuchbergerProject Duration: 01/04/2004 - 31/12/2006More
Explicit Resolution and Related Methods in Algebraic Geometry and Number TheoryProject Lead: Josef SchichoProject Duration: 01/10/2002 - 01/10/2005MoreProject Website
e-Austria Timisoara: Pilot Phase IIProject Lead: Tudor JebeleanProject Duration: 01/03/2004 - 30/06/2005More
DAAD: Differenzengleichungen und ComputeralgebraProject Lead: Peter PauleProject Duration: 01/01/2004 - 31/12/2004More
Computational Methods for Algebraic and Differential Varieties [SFB F1304-2]Project Lead: Franz WinklerProject Duration: 01/04/2001 - 31/03/2004MoreProject Website
Proving and Solving over the Reals [SFB F1303-2]Project Lead: Josef SchichoProject Duration: 01/04/2001 - 31/03/2004MoreProject Website
Symbolic Summation and Combinatorial Identities [SFB F1305-2]Project Lead: Peter PauleProject Duration: 01/04/2001 - 31/03/2004MoreProject Website
THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces [SFB F1302-2]Project Lead: Bruno BuchbergerProject Duration: 01/04/2001 - 31/03/2004MoreProject Website
Computer Aided Geometric Design by Symbolic-Numerical MethodsProject Lead: Franz WinklerProject Duration: 01/01/2002 - 31/12/2003More
Programm Amadeus 2002 bis 2003 – Wiss. -Techn. Abkommen Österreich-Frankreich [AMADEUS]Project Lead: Peter PauleProject Duration: 01/01/2002 - 31/12/2003More
MKMNET Mathematical Knowledge Management Network [MKM]Project Lead: Bruno BuchbergerProject Duration: 01/09/2002 - 30/11/2003MoreProject Website
Math Broker IProject Lead: Wolfgang SchreinerProject Duration: 01/12/2001 - 30/11/2003MoreProject Website
A Framework for Brokering Distributed Mathematical ServicesUncategorizedProject Lead: Wolfgang SchreinerProject Duration: 01/12/2001 - 30/11/2003More
e-Austria Timisoara: Pilot Phase IProject Lead: Bruno BuchbergerProject Duration: 01/03/2002 - 30/06/2003More
Symbolic Numerical Computation on Algebraic Curves and Surfaces – Periode IUncategorizedProject Lead: Franz WinklerProject Duration: 01/04/1998 - 31/03/2003More
Algebraische Analyse von DifferentialgleichungenProject Lead: Franz WinklerProject Duration: 01/01/2001 - 31/12/2002More
Effective Methods in Algebraic Geometry [EMAG]Project Lead: Josef SchichoProject Duration: 01/01/2001 - 31/12/2002MoreProject Website
Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging ToolsProject Lead: Wolfgang SchreinerProject Duration: 01/01/2001 - 31/12/2002MoreProject Website
Algorithmic Methods for Curves and Surfaces [AMCS]Project Lead: Franz WinklerProject Duration: 01/01/2000 - 31/12/2001More
Computations on Algebraic Curves and Surfaces [SFB F1304-1]Project Lead: Franz WinklerProject Duration: 10/04/1998 - 31/03/2001MoreProject Website
PROVE Project: Interactive Software for Mathematical Proof Learning [PROVE]Project Lead: Bruno BuchbergerProject Duration: 01/04/1998 - 31/03/2001More
Proving and Solving in General Domains [SFB F1302-1]Project Lead: Bruno BuchbergerProject Duration: 01/04/1998 - 31/03/2001MoreProject Website
Proving and Solving over the Reals [SFB F1303-1]Project Lead: Josef SchichoProject Duration: 01/04/1998 - 31/03/2001MoreProject Website
Symbolic Summation and Combinatorial Identities [SFB F1305-1]Project Lead: Peter PauleProject Duration: 01/04/1998 - 31/03/2001MoreProject Website
Medical Representative On-line Simulation Training [MOST]Project Lead: Tudor JebeleanProject Duration: 01/01/1999 - 31/12/2000More
Rewriting Techniques and Efficient Theorem Proving [RTETP]Project Lead: Tudor JebeleanProject Duration: 01/01/1998 - 31/12/2000More
Softwarebibliothek zur Unterstützung der TransportlogistikUncategorizedProject Lead: Franz WinklerProject Duration: 01/04/2000 - 30/11/2000More
Machbarkeitsstudie OÖ KulturdatenbankUncategorizedProject Lead: Franz WinklerProject Duration: 01/12/1998 - 30/06/2000More
Software zur SatellitenkommunikationUncategorizedProject Lead: Franz WinklerProject Duration: 01/04/1998 - 30/06/2000More
Computation of Adjoints for SurfacesProject Lead: Josef SchichoProject Duration: 01/01/1998 - 30/04/2000MoreProject Website
Hybrid Software for Algebraic Geometry in X-windows Environment [HySaX]Project Lead: Franz WinklerProject Duration: 30/11/1995 - 30/11/1999MoreProject Website
COAST extended renewal [COASTER]Project Lead: Tudor JebeleanProject Duration: 01/01/1998 - 31/12/1999More
Distributed Constraint Solving for Functional Logic ProgrammingProject Lead: Wolfgang SchreinerProject Duration: 01/07/1997 - 30/06/1999MoreProject Website
Algebraic Curves-A Computational ApproachProject Lead: Franz WinklerProject Duration: 01/01/1997 - 31/12/1998More
Symbolic and Algebraic ComputationProject Lead: Franz WinklerProject Duration: 01/01/1995 - 31/12/1998More
Automated Meeting Minutes Generator [COOPERATE]Project Lead: Wolfgang SchreinerProject Duration: 01/06/1998 - 30/09/1998More
Pilotprojekt “Projektentwicklung u. Durchführung eines Referenzprojektes f. d. SWCCH”UncategorizedProject Lead: Bruno BuchbergerProject Duration: 01/09/1997 - 30/09/1998More
Constructing a Geometric Algorithms Library [CGAL]Project Lead: Bruno BuchbergerProject Duration: 01/09/1996 - 30/06/1998More
High-Performance Generic Programming [HPGP]Project Lead: Wolfgang SchreinerProject Duration: 01/09/1996 - 28/02/1998More
Parallel Symbolic Computation on Shared Memory MachineProject Lead: Bruno BuchbergerProject Duration: 01/07/1991 - 30/06/1996More
Hybrid Evolutionary Programming TechniquesProject Lead: Bruno BuchbergerProject Duration: 01/10/1993 - 31/03/1996More
Das Berechnen in der Jacobischen Varietät einer algebraischen Kurve über einen endlichen KörperUncategorizedProject Lead: Franz WinklerProject Duration: 01/01/1994 - 31/12/1995More
The MEDLAR project [MEDLAR-II]Project Lead: Bruno BuchbergerProject Duration: 01/10/1992 - 30/06/1995More
Parallel Computer Graphics and Geometry [PARAGRAPH]Project Lead: Bruno BuchbergerProject Duration: 01/04/1993 - 31/03/1995More
Polynomial System Solving [POSSO]Project Lead: Franz WinklerProject Duration: 30/11/1991 - 30/11/1994More
Symbolic Geometric Computation-Mathematical Foundations and Algorithms [SGC]Project Lead: Franz WinklerProject Duration: 01/01/1992 - 31/12/1994More
Anwenudngen der Computer-Algebra in Algebraischer GeometrieProject Lead: Franz WinklerProject Duration: 01/01/1991 - 31/12/1993More
Computer Algebra Algorithms for q-Series and Combinatorial IdentitiesComputer Algebra for CombinatoricsProject Lead: Peter PauleProject Duration: 01/10/1989 - 31/03/1993More
Algebraic and Computational CombinatoricsProject Lead: Peter PauleProject Duration: 01/10/1989 - 31/12/1992More
Mechanizing Deduction in the Logics of Practical Reasoning [MEDLAR]Project Lead: Bruno BuchbergerProject Duration: 01/10/1989 - 28/02/1992More
Algorithmen und Software für die Algebraische Geometrie [ASAG]UncategorizedProject Lead: Franz WinklerProject Duration: 01/01/1988 - 31/12/1991More
Solution of Algebraic Equations by Puiseux SeriesProject Lead: Franz WinklerProject Duration: 01/04/1989 - 31/05/1991More
Algorithmic Algebraic GeometryProject Lead: Franz WinklerProject Duration: 01/05/1989 - 30/04/1991More
Computer-assisted Chemical Synthesis design (industrial projectProject Lead: Peter PauleProject Duration: 01/01/1986 - 31/12/1988More
Vervollständigungsverfahren für Basen von Polynomidealen und Axiomensysteme von GleichungstheorienUncategorizedProject Lead: Franz WinklerProject Duration: 01/01/1986 - 31/12/1987More