Welcome to kauers.de
	Home ⋅ Publications ⋅ Teaching ⋅ Software

Unless otherwise stated, the software provided on this web site is free; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. The programs are distributed in the hope that they will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See the GNU General Public License for more details.

• Integration Some experimental code for integration of algebraic functions, implemented for Mathematica 5.2. Load algebraic.m and type ?Diff and ?IntegrateAlgebraic for information.

• Stirling.m A Mathematica package for computing recurrence equations of sums involving Stirling and Eulerian numbers.

  The package can be downloaded free of charge from the software page of the RISC combinatorics group.

• SumCracker A Mathematica package for manipulating a large class of sequences. It can prove identities and inequalities, simplify expressions, evaluate symbolic sums, and solve certain difference equations. (The package ZET provided earlier on this site is subsumed in the SumCracker package.)

  The package can be downloaded free of charge from the software page of the RISC combinatorics group.

• Singular An interface package that makes some important features of the Singular system available in Mathematica 5 and 6. The package consists of the file Singular.m (MMA5 users, take Singular5.m) which has to be put to a location where Mathematica finds it. A demo file illustrates the usage. Bug reports are welcome.

• Gb An interface package that makes Jean-Charles Faugere's library Gb available in Mathematica 5. The package is analogous to the packages provided on Faugere's site as interfaces to Maple or MuPAD. Fetch here the package file, and its documentation. A file containing a demo notebook is also available. Bug reports are welcome.

  Note: This package provides only an interface, but not the Gb library itself. The latter has to be obtained separately from the homepage of its author.

• Trees A LaTeX package for typesetting trees with optimal usage of horizontal space. Edges between the tree's nodes are made up of vertical and horizontal lines. The package is not dependent of any other package (especially it does not use postscript). To use it, simply copy trees.sty into a place where TeX will find it. See the documentation for a detailed description, or enjoy this example which was produced by this code.

• JTrans An environment for experimenting with probabilistic language and translation models as they are used in statistical machine translation. Implementations of the classical IBM models are provided, and there is the possibility to easily define own models, to maintain training corpora, and to run experiments.

  Note: This software is part of my Master Thesis. Its copyright is due to the Interactive Systems Lab, and I am not allowed to distribute it freely.

• Parametric Linear Equations A MuPAD implementation of a reasoning specialist (ConstraintStore.mu, Doc) for the theory of polynomials, and an implementation of Gaussian elimination (Elimination.mu, Doc) that handels parametric systems of linear equations using the specialist. See the publications for theoretic background, and the Corpus of Parametric Linear Systems for a set of example problems.

• Gauss A package that provides makros to typeset the steps the Gaussian elimination algorithm. Installation is done by simply copying the file gauss.sty into a directory where TeX will find it. See the documentation for a detailed description. Here is an example application and its code.

• Algo Yet another package for typesetting algorithms in TeX: algo.sty. The usage is described within the style file.

• JIPP An image processing tool I implemented in Java together with Stefan Röhrich. The purpose of the system is to illustrate the behaviour of modern filters and to provide an architecture that allows for easy extension of further filters. The system is provided on a separate webpage (in German).