Projects developed at the Algebra Group Linz
Several of our Diploma and PhD-students have developed useful
software or other material that can be accessed from this page.
You may download the software and use it for non-profit purposes;
however, the copyright stays with the authors.
- Erhard Aichinger and Peter Mayr have been teaching a course on
for highschool students in February 2005.
- Johannes Gahleitner has developed a Mathematica
package that contains several algorithms for minimizing Boolean polynomials, including, e. g.,
Quine-McCluskey's or Reusch's method.
These are the files that you need:
In using these files, you need the following two files that
have been developed by Charles F. Wells, Department of Mathematics,
Case Western Reserve University, Cleveland OH 44106-7058, USA.
It is a package for manipulation of Boolean expressions.
We use his version of
12 October 1992 (e-mail: firstname.lastname@example.org); the copyright notice is included
in the files.
- Joerg Forstner has written programs for solving
polynomial equations over residue rings of the integers.
Maintained by Erhard
Aichinger. Last modified on February 24th, 2005