RISC JKU

Computer Algebra Seminar (Winter 2011/2012)

Supervisor: F. Winkler
Time: Thursday, 14:30 - 16:00
Place: Seminarraum, Schloß Hagenberg
13.10.F. Winkler What can Symbolic Computation contribute to Mathematics?
20.10.V. Zyuzkov (Tomsk Univ.)Search undecidable sentences in formal mathematical theories with the system Mathematica
27.10.M. Borges  (Santiago, Cuba)Gröbner bases and linear codes
3.11. G. Landsmann The construction of solutions of LPDOs with homomorphism
10.11.M. Marvan (Opava, CZ)Sufficient set of integrability conditions of an orthonomic system
17.11.M. Hudayberdiev (Usbekistan)On the model of forming the optimal parameters of the recognition algorithm
24.11.M. Weimann (RICAM)Factoring bivariate polynomials in polynomial time in the volume of the Newton polytope
5.12.  Linz Algebra Research Day
12.1. G. Lettl (Univ. Graz)Polynomial parametrization of the solutions of certain Diophantine equations
19.1. G. Judakova A note on boundary value problems for hyperbolic-elliptic equations and hydrodynamic equations

Previous Years

Seminar schedules for previous years are available here.