Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)

Lehrveranstaltung:

LVA 326.049 (Wintersemester 2019)

Beginn der Lehrveranstaltung:

nach Vereinbarung (E-Mail Kontakt)

Vortragender:

Dr. Ralf Hemmecke

Institut/Abteilung:

RISC

Notwendige Vorkenntnisse:

Gute Kenntnisse in einer Programmiersprache. Grundkenntnisse in FriCAS, Maple oder Mathematica sind von Vorteil aber nicht notwendig.

Ziele der Lehrveranstaltung:

Studenten sammeln praktische Erfahrungen bei der Spezifizierung und Implementierung symbolischer Algorithmen.

Informationen zur Durchführungsart:

Studenten bearbeiten in kleinen Gruppen ein Projekt. Thema des Projektes als auch eventuelle Verschiebungen der LVA-Termine bzw. des LVA-Ortes werden am Anfang der LVA mit dem LVA-Leiter abgestimmt.

Literatur:

J. H. Davenport, Y. Siret, E Tournier: Computer algebra. Systems and algorithms for algebraic computation. Second edition. Academic Press, Ltd., London, 1993.
Joachim von zur Gathen, Juergen Gerhard: Modern Computer Algebra, Second Edition. Cambridge University Press, Cambridge, 2003.
Keith O. Geddes, Stephen R. Czapor, George Labahn: Algorithms for Computer Algebra. Kluwer Academic Publishers, Boston, MA, 1992.
Ronald L. Graham, Donald E.Knuth, Oren Patashnik: Concrete mathematics. A foundation for computer science. Second edition. Addison-Wesley Publishing Company, Reading, MA, 1994.
Donald E. Knuth: The Art of Computer Programming II: Seminumerical Algorithms. Addison-Wesley, 1969.
Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger: A=B. With a foreword by Donald E. Knuth. A K Peters, Ltd., Wellesley, MA, 1996.
Franz Winkler: Polynomial algorithms in computer algebra. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1996.

Personal tools

Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)