Mathematische Software
Projekte
Wir entwickeln verschiedene Computer-Pakete:
jets
Die Maple-Bibliothek jets sollte ursprünglich eine Erweiterung des Pakets desolv sein, wobei Funktionen zur Berechnung von verallgemeinerten Symmetrien hinzugefügt wurden. Nun ist es ein unabhängiges Paket, dessen Fähigkeiten über die Berechnung von Symmetrien hinausgehen. Mehr Informationen sind der Homepage von Mohamed Barakat zu entnehmen.
Involutive und Janet
Der Janet-Algorithmus stellt eine Normalform für Systeme linearer partieller Differentialgleichungen beziehungsweise entsprechend für Polynomgleichungssysteme her. Implementationen sind nun für Maple verfügbar. Die Pakete Janet und Involutive bieten viele weitere Funktionen für konkrete Anwendungen.
Eine dieser Anwendungen ist zum Beispiel die Kontrolltheorie.
Thomas Decomposition
Der Thomas-Algorithmus konstruiert eine Zerlegung von Systemen algebraischer oder differentieller Gleichungen und Ungleichungen in einfache Systeme.
CoW
Das CoW-Paket für Maple implementiert die Berechnung des umfassenden Gewichtszählers eines linearen Codes.
homalg
Das homalg Projekt ist gedacht als stetig wachsendes, mehrbändiges und quelloffenes Buch über homologische und homotopische Algebra. homalg versucht dabei, so viel homologische Algebra wie möglich in eine für den Computer verständliche Sprache zu übersetzen. Aber homalg soll auch zu großen Teilen lesbar von Mathematikern ohne Programmiererfahrung sein. GAP4 wurde als Sprache für homalg wegen einer großen Menge an Gründen gewählt.
conley
Eine Anwendung von homalg ist das Paket conley. Das Paket berechnet Verbindungs- und Übergangsmatrizen von Morse-Zerlegungen eines dynamischen Systems.
PSL
Das Maple Paket PSL ist eine Implementierung von Methoden zur Erkennung von Gruppen vom Typ L_2 als epimorphes Bild einer endlich präsentierten Gruppe.
QuillenSuslin
QuillenSuslin ist ein Maple-Paket, das Algorithmen zur Berechnung von Basen von freien Moduln über Polynomringen implementiert.
CARAT
Mit dem Paket CARAT lassen sich kristallographische Raumgruppen bis zur Dimension 6 konstruieren, klassifizieren etc. Genauere Informationen findet man auf der CARAT-Homepage. Die neueste Version steht dort zum Download bereit.
OreModules
OreModules ist eine Maple Implementierung von Algorithmen, die Parametrisierungen, Ext-Moduln, Auflösungen und andere algebraische Objekte für lineare Systeme von Differentialgleichungen, Zeitverzögerungssysteme usw. berechnen. Das Paket OreModules, basierend auf einem Originalprogramm von F. Chyzak und A. Quadrat, wird gewartet und weiterentwickelt von A. Quadrat und D. Robertz.