Personal tools
You are here: Home / Users / Ralf Hemmecke / Teaching / Programming Project Symbolic Computation (Computer Algebra, Logik und Softwaredesign II)

Programierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)

Lehrveranstaltung:
LVA 326.049 (Sommersemester 2018)
Beginn der Lehrveranstaltung:
Bitte melden Sie sich per Mail beim Lehrveranstaltungsleiter ().
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 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.
« January 2020 »
January
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Upcoming Events
RISC Forum Jan 27, 2020 01:30 PM - 01:45 PM
RISC Forum Mar 02, 2020 01:30 PM - 01:45 PM
RISC Forum Mar 09, 2020 01:30 PM - 02:15 PM
RISC Forum Mar 23, 2020 01:30 PM - 01:45 PM
RISC Forum Mar 30, 2020 01:30 PM - 02:30 PM
Previous events…
Upcoming events…