RISC-Linz Basic Research Projects

RISC-Linz logo

This page describes basic research projects funded by various national and international organizations.

Ongoing Projects

Effective Projects in Algebraic Geometry (2001-2002)
A joint project with the University of Sevilla.
The Theorema Project (1996-)
The Theorema project aims at combining general predicate logic proof methods and special proof methods for special areas of mathematics in one coherent system.
Computation of Adjoints for Surfaces (1998-1999)
The goal of this project is to devise an efficient algorithm for computing the adjoints of a surface in 3-space, an important geometrical problem with many applications.
SFB Numerical and Symbolic Scientific Computing (1998-)
The SFB ("Sonderforschungsbereich", special research area) Numerical and Symbolic Scientific Computing of the Johannes Kepler University in Linz will start operation in 1998.
Distributed Constraint Solving for Functional Logic Programming (1997-1999)
The goal of this project is to develop a distributed software system consisting of a functional logic language interpreter and a number of constraint solving engines.
HySaX -- Hybrid Software for Algebraic Geometry in X-windows Environment (1996-1998)
This project aims at the implementation of hybrid symbolic-numerical algorithms for approximation and representation of algebraic sets in two and three dimensions.
HPGP -- High-Performance Generic Programming (1996-1998)
This project aims at the development of a programming environment for the construction of generic software based on the concept of higher-order functors.

Completed Projects

COOPERATE Meeting Minutes Generator (1998)
In the frame of the COOPERATE initiative, we are developing a component of a software system for the support of distributed meetings.
CGAL -- Computational Geometry Algorithms Library (1996-1998)
The goal of the project is to design and implement a robust, easy to use, and efficient C++ software library of geometric algorithms. The library is developed in close collaboration with 10 companies in Europe.
SAC Network -- A Network for Symbolic and Algebraic Computation (1995-1998)
The purpose of the SAC Network project is to create a platform on which the various activities of Symbolic and Algebraic Computation can be successfully integrated; information related to SAC is disseminated through a network of WWW-based information servers.
VRÖIG -- Virtual Reality for the Austrian Information Society (1997-1998)
This is a preparatory project to develop and to establish a center of expertise for methods and applications in Distributed Multiuser Virtual Environments.
ACCLAIM -- Constraint Logic Programming (1992-1996)
This project aims to elaborate a general, coherent and applicabe theoretical framework of constraint logic programming, directly usable by systems designers, and to utilize the results of computer algebra in dealing with non-linear constraints.
Parallel Symbolic Computation on Shared Memory Machine (1992-1996)
The overall goal of this project is the development of algorithms and languages for parallel symbolic computation.
MEDLAR-II (1992-1995)
The goals of this project are: synthesis of specific reasoning capabilities in a given combination of logics; development of the general framework to produce the specific reasoning capabilities; exploration of the architecture for specialisation, implementation and integration of these higher-level reasoning capabilities in a generic practical reasoning agent.
PARAGRAPH -- Parallel Computer Graphics and Geometry (1993-1995)
This project resulted in the development of parallel algorithms for computer graphics including geometric modeling, computational geometry and applications to robot programming.
Hybrid Evolutionary Programming Techniques (1993-1995)
The main goal is to develop "hybrid evolutionary programming techniques" for selected application areas of real world computing.
POSSO -- Polynomial System Solving (1992-1995)
A software package CARDANO is to be developed for solving systems of algebraic equations by the currently best known methods.
Quantifier Elimination (1992-1994)
Ideas for the continued practical improvement of the method of cylindrical algebraic decomposition for quantifier elimination will be pursued and the improvements will be continually incorporated into Hong's recent implementation of the method, evaluated and tested on numerous application areas.
Collision Detection (1992-1994)
In the frame of the project different methods for collision detection between various kinds of objects are investigated.
Symbolic Geometric Computation (1992-1993)
The goal of SGC is to increase the computational power of CASA.
Robot Vision (1991-1993)
The main goal is to incorporate geometric modeling techniques into vision systems for technical objects.
Algebraic and Computational Combinatorics (1989-1992)
Symbolic methods for the treatment of formulae (binomial identies, formal power series, q-hypergeometric functions, closed form solutions of difference equations, etc.) in the area of combinatorics are studied.
MEDLAR -- Mechanizing Deduction in the Logics of Practical Reasoning (1989-1992)
The main goal of this project is to study and improve various approaches to automated theorem proving.
Methodologies of Design and Implementation of Symbolic Computation Systems (1990-1991)
The main goal of this project is to pursue research on the methodologies of design and implementation of computation and deduction methods for manipulating mathematical objects.
Solution of Algebraic Equations by Puiseux Series (1989-1991)
The method of Puiseux series is generalized to algebraic equations in more than two variables. Applications to symbolic integration and the solution of linear differential equations is studied
Algorithmic Algebraic Geometry (1988-1991)
This research project continues the traditional research emphasis of RISC-Linz during the past ten years, in particular, research on the method of Gr" obner bases developed at RISC-Linz.
Computer-Aided Molecular Synthesis (1986-1991)
The goal of the project is to investigate algorithms for the problem of synthesizing chemical molecules from information on initial molecules and chemical reactions. The algorithms are embedded into a new software system for molecular synthesis.
Functional and Logic Programming (1989-1990)
A common framework for functional and logic programming is developed both on the level of formal semantics and on the level of implementation.

How to Add a Project Description

Maintained by: The System Administration
Last Modification: September 12, 2001

[Up] [RISC-Linz] [University] [Search]