RISC JKU

Computer Algebra Seminar (Winter 2006/2007)

Supervisor: F. Winkler
Time: Thursday, 14:30 - 16:00
Place: Seminarraum, Schloß Hagenberg
12.10.F. Winkler organization of the seminar
19.10.U. Kohlenbach (Tu Darmstadt)Effective uniform bounds for ineffective proofs in nonlinear analysis and geodesic geometry
23.10.A. Pethö (Univ.Debrecen)Computer algebra and Diophantine problems
9.11.K. Nabeshima Parametric Gröbner bases in rings of differential operators
23.11.E. Shemyakova Laplace invariants
30.11.C. Aistleitner Abstractions of differential reduction
7.12.S. Radu Noncommutative Gröbner bases and finite group algebras
11.1.A. Pethö Computer algebra and Diophantine problems
18.1.M. Zhou (Beihang U, Beijing)Computing difference-differential dimension polynomials with d-d Gröbner bases
25.1.F. Winkler Rational algebraic curves: theory and application

Previous Years

Seminar schedules for previous years are available here.