|
- Info
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.
|
-
October
Mo | Tu | We | Th | Fr | Sa | Su |
| 1 | 2 | 3 | 4 | 5 | 6 |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 | 22 | 23 | 24 | 25 | 26 | 27 |
28 | 29 | 30 | 31 | | | |
|