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.
separate.m An experimental Mathematica implementation of an algorithm for computing the algebra of separated polynomials of a given ideal of bivariate polynomials. Based on joint work with Manfred Buchacher and Gleb Pogudin. The interesting function is Separate. Examples and documentation can be found in the comments of the source file. separate.m.
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.
To install the latest version, developed for Sage 7.5.1, download the file
Unpack the file by typing
tar xzf ore_algebra0.3.tgz
This will create a subdirectory named src. Go into this subdirectory and call make:
cd src make
After this, the package should be available in Sage (try to execute from ore_algebra import * within a fresh Sage session). If it does not work, you can also simply move the directory ore_algebra contained in the src directory into the working directory of your Sage session or any other directory where Sage will find it.
Two older versions of the package for older versions of Sage can be installed by downloading the respective file below and typing sage i ore_algebra0.?.spkg with ? replaced by 1 or 2 as appropriate.
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.
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.
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.
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.