The beneficial use of homomorphic images in computer algebra

Series
Algebra Seminar
Time
Friday, June 18, 2010 - 3:05pm for 1 hour (actually 50 minutes)
Location
Skiles 171
Speaker
Christoph Koutschan – RISC Austria – Koutschan@risc.uni-linz.ac.at
Organizer
Stavros Garoufalidis
In this talk we recall some modular techniques (chinese remaindering,rational reconstruction, etc.) that play a crucial role in manycomputer algebra applications, e.g., for solving linear systems over arational function field, for evaluating determinants symbolically,or for obtaining results by ansatz ("guessing"). We then discuss howmuch our recent achievements in the areas of symbolic summation andintegration and combinatorics benefited from these techniques.