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 sans-serif text, Euler fonts for math material, and a yellow-orange 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 D-finite 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.

  The latest version can be found on github.

  See our paper for a tutorial.

• Asymptotics A package for computing asymptotic expansions of solutions of P-finite recurrence equations, implemented for Mathematica 7 (but ought to work for MMA6, too).

  • Asymptotics.m

  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).

  • Guess.m
  • LinearSystemSolver.m

  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 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.

• 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.