Welcome to kauers.de 

Home ⋅ Publications ⋅ Talks ⋅ 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.
black A LaTeX package which adapts the beamer class to the style I have been using recently: black background, white Computer Modern sansserif text, Euler fonts for math material, and a yelloworange primary and a blueish secondary structure color. There are also macros for for frequently used highlighting effects \highlight and \bubble, as well as a macro \movie for animations.
To use this style, simply place a copy of black.sty into a directory where LaTeX will find it, and include it into your beamer presentation code as shown in the template.
closure.m An experimental Mathematica implementation of an algorithm for computing integral bases for an algebra of Dfinite functions. Based on joint work with Christoph Koutschan. The code requires the availability of Koutschan's package HolonomicFunctions.m. The interesting function is GlobalIntegralBasis. Examples and documentation can be found in the comments of the source file. closure.m.
ore_algebra A Sage package for doing computations with Ore operators, written together with M. Jaroschek and F Johansson.
See our paper for a tutorial.
Asymptotics A package for computing asymptotic expansions of solutions of Pfinite recurrence equations, implemented for Mathematica 7 (but ought to work for MMA6, too).
See the technical report for a description of this package.
Guess A package for guessing multivariate recurrence equations, implemented for Mathematica 7 (but ought to work for MMA6, too).
Put both files into a directory where Mathematica will find them, and then load the first one via << Guess.m. (This package will internally load the other.) See the handbook [pdf] [nb] for the documentation of an early version of the package.
mma A simple LaTeX style file for typesetting Mathematica sessions. Usage of the style is described in the comment at the beginning of the file. To use the package, just save the file mma.sty in a directory where LaTeX will find it.
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 JeanCharles 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).