Symbolic Summation for Computer Science
Project Lead: Carsten Schneider
Ongoing Projects at RISC
Project Duration: 01/09/2024 - 31/08/2028
Efficient Algorithms for Guessing, Inequalities, Summation
Project Lead: Manuel Kauers
Symbolic Techniques for Quantitative Extensions of Equality [SQUEE]
Project Lead: Teimuraz Kutsia
Algebraic Solutions of Fuchsian Differential Equations
Project Lead: Josef Schicho
Computer Algebra for Multi-Loop Feynman Integrals
Project Lead: Carsten Schneider
Past Projects at RISC
Rotor Polynome: Algebra und Geometrie konformer Bewegungen
Project Lead:
European Network GRAPES: learninG, pRocessing And oPtimizing shapES [GRAPES]
Project Lead: Josef Schicho
Security and Safety for Shared AI by Deep Model Design (SCCH)
Project Lead: Josef Schicho
Partition Congruences by the Localization Method
Project Lead: Nicolas Smoot
MATH LP (LIT Project)
Project Lead: David Cerna
The many facets of orthomodularity
Project Lead:
Doctoral Program “Computational Mathematics” [DK W1214]
Project Lead: Veronika Pillwein
Realizations of Rigid Graphs
Project Lead: Georg Grasegger
Artin Approximation, Arc-Räume, Auflösung von Singularitäten
Project Lead: Josef Schicho
SAGEX – Scattering Amplitudes: from Geometry to Experiment
Project Lead: Carsten Schneider
ARC: Automated Reasoning in The Class [Erasmus+ Project]
Project Lead: Tudor Jebelean
Computer Algebra and Combinatorial Inequalities [FWF SFB F050-07]
Project Lead: Veronika Pillwein
Computer Algebra for Nested Sums and Products [FWF SFB F050-09]
Project Lead: Carsten Schneider
Partition Analysis [SFB F050-06]
Project Lead: Peter Paule
Computer Algebra Tools for Special Functions [DK6]
Project Lead: Peter Paule
Extension of Algorithms for D-finite functions [DK15]
Project Lead: Veronika Pillwein
Symbolic-Numeric Techniques for Genus Computation and Parametrization [DK9]
Project Lead: Josef Schicho
Supercomputer MACH-2 [MACH-2]
Project Lead: Wolfgang Schreiner
Symbolic Solutions of Algebraic Differential Equations [ADE-solve]
Project Lead: Franz Winkler
Die Algebra der dreidimensionalen Bewegungen
Project Lead: Josef Schicho
Generalization ALgorithms and Applications [GALA]
Project Lead: Teimuraz Kutsia
Combinatorics and Codes for Information Security [SBA-K1]
Project Lead: Teimuraz Kutsia
Computer Algebra for Linear Boundary Problems [CALBP]
Project Lead: Markus Rosenkranz
Puzzle Robot
Project Lead: Wolfgang Windsteiger
Logic Technology for Computer Science Education [LOGTECHEDU]
Project Lead: Wolfgang Schreiner, Wolfgang Windsteiger
Mathematics in Motion
Project Lead: Georg Grasegger
Algebraic Path Planning of 6R/P Manipulators [6RP_2016]
Project Lead: Jose Capco
Algebraic Representations in Computer-Aided Design for complEx Shapes [ARCADES]
Project Lead: Josef Schicho
Semantic Technologies for Computer Science Education [SemTech]
Project Lead: Wolfgang Schreiner
Theory Exploration in Theorema: Recent Approaches to Gröbner Bases [TETRA-GB]
Project Lead: Alexander Maletzky
Satisfiability Checking and Symbolic Computation [SC2]
Project Lead: Bruno Buchberger
Der Entwurf und die informationstechnische Modellierung kognitiver Funknetze [96öu8]
Project Lead:
Formal Theory and Algorithmics of Noncommutative Gröbner Bases [DK1]
Project Lead: Bruno Buchberger
RISC PhD Fellowships 2017
Project Lead: Peter Paule
Technologietransfer 2017
Project Lead: Peter Paule
Partnership for Advanced Computing in Europe [PRACE-4IP]
Project Lead: Wolfgang Schreiner
The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard II]
Project Lead: Wolfgang Schreiner
RISC PhD Fellowships 2016 [PhD 2016]
Project Lead: Peter Paule
Technologietransfer 2016 [TechTrans 2016]
Project Lead: Peter Paule
Symbolic Computation Techniques for Unranked Terms [SToUT]
Project Lead: Teimuraz Kutsia
Partnership for Advanced Computing in Europe [PRACE-3IP]
Project Lead: Wolfgang Schreiner
Smart Production – Machine Data Analysis and Interpretation in Production [SmaPro]
Project Lead: Wolfgang Schreiner
Fast computer algebra for special functions [START]
Project Lead:
Performance Analysis of Wireless Sensor Networks [90öu6]
Project Lead: Wolfgang Schreiner
Multivariate Symbolic Asymptotics [DK13]
Project Lead:
RISC PhD Fellowships 2014/2015 [PhD 2014/15]
Project Lead: Peter Paule
Technologietransfer 2014/15 [TechTrans 2014/15]
Project Lead: Peter Paule
Algorithmic Lattice Path Counting Using the Kernel Method [FWF SFB F050-04]
Project Lead: Manuel Kauers
Constraint Logic Programming over Unranked Terms and Hedges with Description Operators
Project Lead: Teimuraz Kutsia
LHCPhenoNet
Project Lead: Carsten Schneider
Performance Analysis of Real-time Systems and Software Designs [HU 10/2012]
Project Lead: Wolfgang Schreiner
Rational Parametric Algebraic Curves [DK11]
Project Lead: Franz Winkler
RISC PhD Fellowships 2013/2014 [PhD 2013/14]
Project Lead: Peter Paule
Technologietransfer 2013/14 [TechTrans 2013/14]
Project Lead: Peter Paule
Timing Analysis and Symbolic Computation [TASCo]
Project Lead: Tudor Jebelean
Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard]
Project Lead: Wolfgang Schreiner
Computer Algebra for Special Functions Inequalities [P22748-N18]
Project Lead: Veronika Pillwein
RISC PhD Fellowships 2012/2013 [PhD 2012/13]
Project Lead: Peter Paule
Evaluating Process Algebra Models versus State-oriented Models [85öu8]
Project Lead: Wolfgang Schreiner
Technologietransfer 2012/13 [TechTrans 2012/13]
Project Lead: Peter Paule
Symbolic Summation in Perturbative Quantum Field Theory
Project Lead: Carsten Schneider
Ontologie- und Persönlichkeitsmodell basierter Abgleich von Bewerberprofilen und Stellenangeboten zur Effizienzsteigerung [OntoJob]
Project Lead: Tudor Jebelean
Static Program Analysis using Symbolic Computation [SPy]
Project Lead:
RISC PhD Fellowships 2011/2012 [PhD 2011/12]
Project Lead: Peter Paule
High-Performance Quality Inspection of Industrial Textile Fabrics by 3D Profile Analysis [texQuality3D]
Project Lead: Wolfgang Schreiner
Technologietransfer 2011/12 [TechTrans 2011/12]
Project Lead: Peter Paule
Symbolic Integration and Special Functions [P20162-N18]
Project Lead: Peter Paule
Formal Theory and Algorithmics of Noncommutative Gröbner Bases
Project Lead: Bruno Buchberger
Computer Algebra Tools for Special Functions in Numerical Analysis
Project Lead: Peter Paule
Formally Specified Computer Algebra Software
Project Lead: Wolfgang Schreiner
Rational Parametric Algebraic Curves
Project Lead: Franz Winkler
RISC PhD Fellowships 2010/2011 [PhD 2010/11]
Project Lead: Peter Paule
Technologietransfer 2010/11 [TechTrans 2010/11]
Project Lead: Peter Paule
SCIEnce: Symbolic Computation Infrastructure for Europe [SCIEnce]
Project Lead: Franz Winkler
Symbolic and Algebraic Methods for LPDOs [DIFFOP]
Project Lead: Franz Winkler
Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications [iEAT]
Project Lead: Tudor Jebelean
CENREC [CENREC]
Project Lead:
Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles
Project Lead: Wolfgang Schreiner
Discrete resonances in nonlinear wavesystems [DIRNOW]
Project Lead:
RISC PhD Fellowship 2009/2010 [PhD 2009/10]
Project Lead: Peter Paule
Technologietransfer 2009/10 [TechTrans 2009/10]
Project Lead: Peter Paule
Austrian Grid 2: Distributed Supercomputing in the Grid [AGRID2]
Project Lead: Wolfgang Schreiner
Practical Formal Verification Using Automated Reasoning and Model Checking [INTAS]
Project Lead: Tudor Jebelean
Symbolic Summation/Integration and Algebraic Relations [SSIAR]
Project Lead:
Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models
Project Lead: Wolfgang Schreiner
ALgorithmically Integrable Systems in Action [ALISA]
Project Lead:
Proving and Solving in Special Function Domains [SFB F1305-3]
Project Lead: Peter Paule
Proving and Solving Over the Reals [SFB F1303-3]
Project Lead: Josef Schicho
SFB Coordination and Service Project [SFB F1301-3]
Project Lead: Peter Paule
Symbolic Differential Computation [SFB F1304-3]
Project Lead: Franz Winkler
THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces [SFB F1302-3]
Project Lead: Tudor Jebelean
Enabling Grids for E-sciencE [EGEE-II]
Project Lead: Wolfgang Schreiner
A Special Function Tool-Box for High-Order Finite Element Methods
Project Lead: Peter Paule
Program Verification using Algebraic Methods
Project Lead: Tudor Jebelean
MathBroker II
Project Lead: Wolfgang Schreiner
Differential Elimination Theory [DET]
Project Lead: Franz Winkler
Symbolische Summation in Differenzkörpern (Symbolic Summation in Difference Fields)
Project Lead: Peter Paule
Austrian Grid Project [SEE-Grid]
Project Lead: Wolfgang Schreiner
CREACOMP e-Schulung von Kreativität und Problemlösungskompetenz [CreaComp]
Project Lead: Bruno Buchberger
Explicit Resolution and Related Methods in Algebraic Geometry and Number Theory
Project Lead: Josef Schicho
e-Austria Timisoara: Pilot Phase II
Project Lead: Tudor Jebelean
DAAD: Differenzengleichungen und Computeralgebra
Project Lead: Peter Paule
Calculemus
Project Lead: Bruno Buchberger
Computational Methods for Algebraic and Differential Varieties [SFB F1304-2]
Project Lead: Franz Winkler
Proving and Solving over the Reals [SFB F1303-2]
Project Lead: Josef Schicho
Symbolic Summation and Combinatorial Identities [SFB F1305-2]
Project Lead: Peter Paule
THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces [SFB F1302-2]
Project Lead: Bruno Buchberger
Computer Aided Geometric Design by Symbolic-Numerical Methods
Project Lead: Franz Winkler
Programm Amadeus 2002 bis 2003 – Wiss. -Techn. Abkommen Österreich-Frankreich [AMADEUS]
Project Lead: Peter Paule
MKMNET Mathematical Knowledge Management Network [MKM]
Project Lead: Bruno Buchberger
Math Broker I
Project Lead: Wolfgang Schreiner
A Framework for Brokering Distributed Mathematical Services
Project Lead: Wolfgang Schreiner
e-Austria Timisoara: Pilot Phase I
Project Lead: Bruno Buchberger
Symbolic Numerical Computation on Algebraic Curves and Surfaces – Periode I
Project Lead: Franz Winkler
Algebraische Analyse von Differentialgleichungen
Project Lead: Franz Winkler
Effective Methods in Algebraic Geometry [EMAG]
Project Lead: Josef Schicho
Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools
Project Lead: Wolfgang Schreiner
Algorithmic Methods for Curves and Surfaces [AMCS]
Project Lead: Franz Winkler
Computations on Algebraic Curves and Surfaces [SFB F1304-1]
Project Lead: Franz Winkler
PROVE Project: Interactive Software for Mathematical Proof Learning [PROVE]
Project Lead: Bruno Buchberger
Proving and Solving in General Domains [SFB F1302-1]
Project Lead: Bruno Buchberger
Proving and Solving over the Reals [SFB F1303-1]
Project Lead: Josef Schicho
Symbolic Summation and Combinatorial Identities [SFB F1305-1]
Project Lead: Peter Paule
Medical Representative On-line Simulation Training [MOST]
Project Lead: Tudor Jebelean
Rewriting Techniques and Efficient Theorem Proving [RTETP]
Project Lead: Tudor Jebelean
Softwarebibliothek zur Unterstützung der Transportlogistik
Project Lead: Franz Winkler
Machbarkeitsstudie OÖ Kulturdatenbank
Project Lead: Franz Winkler
Software zur Satellitenkommunikation
Project Lead: Franz Winkler
Computation of Adjoints for Surfaces
Project Lead: Josef Schicho
Hybrid Software for Algebraic Geometry in X-windows Environment [HySaX]
Project Lead: Franz Winkler
COAST extended renewal [COASTER]
Project Lead: Tudor Jebelean
Distributed Constraint Solving for Functional Logic Programming
Project Lead: Wolfgang Schreiner
Algebraic Curves-A Computational Approach
Project Lead: Franz Winkler
Symbolic and Algebraic Computation
Project Lead: Franz Winkler
Automated Meeting Minutes Generator [COOPERATE]
Project Lead: Wolfgang Schreiner
Pilotprojekt “Projektentwicklung u. Durchführung eines Referenzprojektes f. d. SWCCH”
Project Lead: Bruno Buchberger
Constructing a Geometric Algorithms Library [CGAL]
Project Lead: Bruno Buchberger
High-Performance Generic Programming [HPGP]
Project Lead: Wolfgang Schreiner
Constraint Logic Programming [ACCLAIM]
Project Lead:
Parallel Symbolic Computation on Shared Memory Machine
Project Lead: Bruno Buchberger
Hybrid Evolutionary Programming Techniques
Project Lead: Bruno Buchberger
Das Berechnen in der Jacobischen Varietät einer algebraischen Kurve über einen endlichen Körper
Project Lead: Franz Winkler
The MEDLAR project [MEDLAR-II]
Project Lead: Bruno Buchberger
Parallel Computer Graphics and Geometry [PARAGRAPH]
Project Lead: Bruno Buchberger
Polynomial System Solving [POSSO]
Project Lead: Franz Winkler
Symbolic Geometric Computation-Mathematical Foundations and Algorithms [SGC]
Project Lead: Franz Winkler
Anwenudngen der Computer-Algebra in Algebraischer Geometrie
Project Lead: Franz Winkler
Computer Algebra Algorithms for q-Series and Combinatorial Identities
Project Lead: Peter Paule
Algebraic and Computational Combinatorics
Project Lead: Peter Paule
Gröbner Bases
Project Lead: Bruno Buchberger
Mechanizing Deduction in the Logics of Practical Reasoning [MEDLAR]
Project Lead: Bruno Buchberger
Algorithmen und Software für die Algebraische Geometrie [ASAG]
Project Lead: Franz Winkler
Computer-Aided Molecular Synthesis
Project Lead:
Solution of Algebraic Equations by Puiseux Series
Project Lead: Franz Winkler
Algorithmic Algebraic Geometry
Project Lead: Franz Winkler
Computer-assisted Chemical Synthesis design (industrial project
Project Lead: Peter Paule
Vervollständigungsverfahren für Basen von Polynomidealen und Axiomensysteme von Gleichungstheorien
Project Lead: Franz Winkler