StartseiteHochschuleFakultätenStudium & LehreForschungWeiterbildungEinrichtungenAktuelles
 

Institut für Mathematik und Informatik

Mathematische Software

  • graph, ein Programm zum Gewichtstest
    Ein Programm zum Gewichtstest von Felix Petry und mir. Der Gewichtstest ist ein Test, den man an Gruppenpräsentationen durchführen kann. Mit seiner Hilfe kann man die (kombinatorische) Asphärizität des zugehörigen Standard 2-Komplexes beweisen, oder auch Wort- und Konjugationsproblem lösen (genauer, man erhält eine isoperimetrische Ungleichung). Siehe dazu auch die Veröffentlichung: Weight tests and hyperbolic groups und weitere Veröffentlichungen auf derselben Seite. Das Programm graph erzeugt den Whiteheadgraphen und erstellt ein System von Ungleichungen, die mit dem Simplex-Verfahren gelöst werden können. Diese Ungleichungen werden in einer, für das Programm Maple verständlichen Syntax ausgegeben.
    • Hier die Anleitung als Postscript-Datei: manual.ps Download jeweils mit Anleitung im TeX-Format und dem Source-Code.
    • Eine kompilierte DOS-Version: graph.zip
    • Eine kompilierte Linux-elf-Version: graph-linux-elf.zip
  • a2tex, ein Programm zum übersetzen von ASCII- in TeX-Format
    This is a small program, which transforms an ASCII-file into plain tex format by changing as little as possible and commenting all changes. This is version 1.3 with some minor fixes from the previous release. You need the gnu-c-compiler to compile it yourself. There is also a small scriptfile which puts a headline above the output.
    • Download with manual, Source-Code and a Linux-elf binary: a2tex.zip
  • tex2a, ein Programm zum übersetzen von Tex- in ASCII-Format
    This is a small program, which transforms any latex or tex file into ASCII format by changing as little as possible. This is version 1.1 written in C#.
  • touch, erstellt eine Datei oder ändert ihr Datum
    This is version 0.5 written in C#.

Software zur zufälligen Musikerzeugung

  • musgen Version 3.2
    musgen is a program, which produces by probabilistic methods music output in form of a midi-file. musgen runs under Windows-Versions in a DOS-Box and on MAC. The way the music is generated can be controlled by parameters together with functions which control each parameter while the music is going.
    For further details see the documentation MUSGEN.pdf