BannerBannerBanner

Hauptseminar Symbolisches Rechnen
WS 2009/10

Aktuelles Material Literatur Räume & Zeiten
 

In diesem Seminar sollen die Grundlagen aller nötigen Komponenten eines einfachen Softwaresystems zum symbolischen Rechnen erarbeitet werden. Die Themen umfassen Bereiche wie Lambda calculus und verwandte Sprachen numerische vs symbolische Evaluation Arbitrary precision arithmetic / big integers Syntax und Parsen von Ausdrücken Termrewriting und Regelbasiertes programmieren Normalformen Symbolisches Vereichfachen symbolisches Integrieren Formel Ein- und Ausgabe

Die folgenden Themen sind als Seminarvorträge vorgesehen. Die angegebenen Quellen sind als mögliche Einstiegspunkte in das Thema zu verstehen.

Aktuelles
 
 
top
Material
was wo Beschreibung
Lambda calculus handoutStefanLembach.pdf Handout von Stefan Lembach zum ersten Vortrag
Lisp Lisp_Hörmann.docx Handout von Tobias Hörmann
Typensysteme Typ_Systeme.zip Handout und Formalisierung des einfach typisierten Lambdakalküls in Isabelle von Armin Heller
Syntax und Parsen von Ausdrücken I Syntax-Jaentschi.pdf Handout zur Syntax von Ludwig Jäntschi
Syntax und Parsen von Ausdrücken II Sangl_Parsing.pdf Handout zum Parsing von Ralf Sangl
numerische vs symbolische Evaluation    
Termersetzungssysteme termrewritingbeamerfertig.pdf Handout von Andrei Morozyuk
Patternmatching und Normalformen Koopmann_Handout_PatternmatchingUndNormalformen.pdf Handout von Bendix Koopmann
symbolisches Integrieren    
symbolisches Vereinfachen    
Gröbnerbasen Gröbnerbasen.pdf Handout zum Vortrag von Susanne Apel
Sage www.sagemath.org/» freies Computer Algebra System
eclipse http://www.eclipse.org» Java IDE


top
Literatur

*Modern Computer Algebra, J. von zur Gathen und J. Gerhard, Cambridge University Press

 
top

Hauptseminar: Symbolisches Rechnen 

Art Turnus Tag Zeit Raum Dozent
Seminar (2 SWS): wöchentlich nach Vereinbarung nach Vereinbarung noch nicht bekannt Prof. Dr. Tim Hoffmann

top

-- TimHoffmann - 5 Sep 2009