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)

Lehrveranstaltung: (online)
LVA 326.049 (Sommersemester 2020)
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.
« December 2024 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Upcoming Events
RISC Forum Dec 09, 2024 01:30 PM - 01:45 PM
RISC Forum Dec 16, 2024 01:30 PM - 01:45 PM
NO RISC Forum Dec 23, 2024 01:30 PM - 01:45 PM
NO RISC Forum Dec 30, 2024 01:30 PM - 01:45 PM
NO RISC Forum Jan 06, 2025 01:30 PM - 01:45 PM
Previous events…
Upcoming events…