Univ.-Prof. Dr. Carsten Schneider
Johannes Kepler University Linz
RISC - Research Institute for Symbolic Computation
Carsten.Schneider@risc.jku.at (Tel: +43 732 2468 9966)

Activities

Co-Edited books and proceedings


Teaching activities (at JKU Linz)

Click here for my current courses.

Lectures:
  • Analysis for Computer Science (since 2015)
  • Algorithmic Combinatorics (2011-2015)
  • Algorithms and Data Structures (since 2002)
  • Computer Algebra (since 2022)
  • Computer Algebra for Concrete Mathematics (since 2015)
  • Formal Foundations in Information Systems (2015)
  • Formal Modelling (since 2021, jointly with W. Schreiner and W. Windsteiger)
  • Symbolic Linear Algebra (2007-2013,2023)
  • Symbolic Summation and Integration (2023)
  • Symbolic Summation and Special Functions (2005,2008,2011,2014)

Seminars:

  • Computer Algebra and Applications Seminar (fomerly the Algorithmic Combinatorics Seminar, jointly organized with Peter Paule, since 2014)
  • Proseminar Modelling (since 2021, jointly with W. Schreiner and W. Windsteiger)
  • Symbolic Summation in Particle Physics (2010-2013)


Organization of scientific meetings (selection)

Co-organizer of sessions: Co-organizer of workshops/conferences

Other activities (selection)