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 |
Seminar schedules for previous years are available here.