Inhalt

[ 201COMACALV18 ] VL Computer Algebra

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Carsten Schneider 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2022W
Ziele (*)In the last decades big parts of mathematics has been algorithmized and many mathematical problems (or problems coming from natural and technical sciences that can be modeled in mathematics) can be solved with the computer. A major contribution for this algorithmic revolution is the computer algebra. This lecture aims at introducing the most crucial algorithms in this field and illustrating how they can be used for non-trivial applications.
Lehrinhalte (*)We discuss constructive symbolic methods for simplification of expressions and solving algebraic (i.e., polynomial) systems of equations. Among others, the following algorithms are explored:

  • basic structures and algorithms
  • the extended Euclidean algorithm, polynomial remainder sequences and applications
  • modular methods based on Hensel lifting and the Chinese Reemainder Theorem (resultants, gcd, factorization)
  • a gentle introduction to Gröbner bases
  • symbolic summation and integration
Beurteilungskriterien (*)Depending on the needs of the participants there will be a written or oral exam.
Lehrmethoden (*)The different algorithms will be presented on the blackboard. Concrete examples will be carried out with the computer.
Abhaltungssprache Englisch
Literatur (*)Joachim von zur Gathen and Jürgen Gerhard, "Modern Computer Algebra", Cambridge University Press, 2013 (or earlier versions).
Lehrinhalte wechselnd? Nein
Sonstige Informationen Bis Semester 2018S bezeichnet als: 201ALGECALV12 VL Computer Algebra
Äquivalenzen ist gemeinsam mit 201ALGECALU12: UE Computer Algebra (1,5 ECTS)
äquivalent zu

TM1WHKVCASY: KV Computeralgebra (4,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung