Inhalt

[ 201SYMRPSRK20 ] KV Programming project symbolic computation

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Ralf Hemmecke 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2023W
Ziele
  • Verständnis für auftretende Probleme bei symbolischer Programmierung (Anschwellen symbolischer Ausdrücke während der Berechnung u. ä.)
  • Einblick in unterliegende Datenstrukturen für Polynome, symbolische Ausdrücke, etc.)
  • praktische Erfahrungen in Projektarbeit mit anderen Personen sammeln
Lehrinhalte Konkrete Projekte werden zu Beginn der Lehrveranstaltung festgelegt.

  • Programmierung in einem Computeralgebrasystem (FriCAS, Mathematica, Maple)
  • Themen werden projektspezifisch angepaßt, z.B.
    • Implementierung effizienter Datenstrukturen für symbolisches Rechnen
    • Implementierung ausgewählter Algorithmen mit Polynomen
Beurteilungskriterien Die Beurteilung erfolgt über:

  • Projektunterlagen (Source Code, Testsuite, Nutzer- und Maintainerdocumentation)
  • Präsentation(en)
Lehrmethoden angeleitete Projektdurchführung in kleinen Gruppen
Abhaltungssprache deutsch/englisch
Literatur Hier nur eine Auswahl an relevanter 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.
Lehrinhalte wechselnd? Ja
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
TM1WHKVPPSR: KV Programmierprojekt Symbolisches Rechnen (2005S-2020S)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung