##
RISC-Linz Software Packages

This page lists software packages developed at RISC-Linz in the frame of
various research projects.

**CASA**-
is a programming package for performing computations and reasoning about
geometric objects in classical algebraic geometry.
**CFLP**- is the prototype of
a distributed implementation of a functional-logic language embedded into
Mathematica.
**Combinatorial Software**- The
researchers on combinatorics at RISC provide various pieces of software,
mainly packages for the computer algebra systems Maple and Mathematica.
To get the password, just send an email to Peter Paule.
**DAJ**-
is a toolkit for designing, implementing, testing,
simulating, and visualizing distributed algorithms in Java.
**Distributed Maple**-
is a Java-based package for writing parallel programs in Maple and executing
them on networks of computers.
**Distributed Mathematica**-
uses the software framework developed for Distributed Maple for the parallel
execution of Mathematica programs.
**GHC-Maple Interface**-
is an interface between the Glasgow Haskell Compiler (GHC) implementation
of the functional programming language Haskell
and the computer algebra system Maple.
**GRÖBNER**-
is a system for computing Gröbner bases based on SACLIB.
**RT++**-
is a parallel programming package that provides "higher-order threads" in
C++.
**Theorema**-
The Theorema software extends
current computer algebra systems by facilities for
supporting mathematical proving.

**How to add a Software Page**