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

Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)

Lehrveranstaltung:
LVA 326.049 (Wintersemester 2019)
Beginn der Lehrveranstaltung:
nach Vereinbarung ()
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.
« October 2024 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Upcoming Events
RISC Forum Oct 07, 2024 01:30 PM - 01:45 PM
RISC-Forum Oct 14, 2024 01:30 PM - 02:15 PM
RISC Forum Oct 21, 2024 01:30 PM - 01:45 PM
RISC Forum Oct 28, 2024 01:30 PM - 01:45 PM
RISC Forum Nov 04, 2024 01:30 PM - 01:45 PM
Previous events…
Upcoming events…