[ 201SYMRPSRK20 ] KV Programming project symbolic computation

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Ralf Hemmecke 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2023W
  • Understanding inherent problems in symbolic computation (expression swell during computation, etc.)
  • Learning about underlying data structure for polynomials, symbolic expressions, etc.
  • Acquire practical experiences in collaborative project work
Subject Concrete projects will be fixed in the beginning of the course.

  • Programming in a computer algebra system (FriCAS, Mathematica, Maple)
  • Topics are be project specific, e.g.,
    • Implementation of efficient data structures for symbolic computation
    • Implementation of selected algorithms with polynoms
Criteria for evaluation Course evaluation via:

  • project deliverables (source code, testsuite, user and maintainer documentation)
  • presentation(s)
Methods guided project work in small groups
Language German/English
Study material Here just a selection of relevant literature.

  • 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.
Changing subject? Yes
Earlier variants They also cover the requirements of the curriculum (from - to)
TM1WHKVPPSR: KV Programming project symbolic computation (2005S-2020S)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment