Computer Algebra in Scientific Computing
CASC 2010
TUM Logo



Monday, September 6

19:00 Organizing Dinner in Yerevan

Tuesday, September 7

10:00-13:00 Registration, Opening Session, Plenary Session, Discussion (in Yerevan)

Invited Talk:
H. Marandjian and  Yu. Shoukourian: Computational Science in Armenia



Tour of Yerevan, Transportation to Tsakhkadzor

19:00 Welcome Party

Wednesday, September 8

09:45-10:45 Invited Talk:
Andreas Weber [, Thomas Sturm, Werner M. Seiler, and Essam O. Abdel-Rahman]:
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations

Session: Polynomial Bases

10:45-11:15 Ambedkar Dukkipati and Joel George Manathara: An Algebraic Implicitization and Specialization of Minimum  KL-divergence Models

11:15-11:45 Thomas Bächler, Vladimir Gerdt, Markus Lange-Hegermann and Daniel Robertz: Thomas Decomposition of Algebraic and Differential Systems

11:45-12:00 Coffee Break

Session: Matrices

12:00-12:30 Manuel Ceballos Gonzalez, Juan Nunez Valdes and Angel F. Tenorio: Computing Matrix Representations of Filiform Lie Algebras

12:30-13:00 Gennadi Malaschonok: Fast generalized Bruhat decomposition

13:00-14:00 Lunch

Session: Applications

14:00-14:30 Valentin Irtegov and Tatyana Titorenko: On Reduction of Lagrange Systems

14:30-15:00 Serguey Zemskov, Henk Jonkers and Fred Vermolen: An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-Healing Agent in Concrete

15:00-15:30 Serge Andrianov: A Role of Symbolic Computations in Beam Physics

15:30-16:00 Coffee Break

16:00-21:00 Visit to Museums and Dinner

Thursday, September 9

09:45-10:45 Invited Talk:
Ernst W. Mayr: From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity

Session: Polynomials

10:45-11:15 Sergey Abrahamyan: Construction of Irreducible Polynomials over Finite Fields

11:15-11:45 Sergei Abramov, Amel Gheffar and Denis Khmelnov: Factorization of Polynomials and GCD Computations for Finding Universal Denominators

11:45-12:00 Coffee Break

Session: Polynomials

Paula Bustillo and Jaime Gutierrez: On Multivariate homogenous polynomial decomposition

12:30-13:00 Akira Terui: GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials

13:00-14:00 Lunch

Session: Symbolic Numeric

Tateaki Sasaki and Fujio Kako: Computing Floating-point Gröbner Bases Tateaki Sasaki and Fujio Kako: Computing Floating-point Gröbner Bases Accurately

14:30-15:00 Alexander Gusev, Ochbadrakh Chuluunbaatar, Vladimir Gerdt, Vitaly Rostovtsev, Sergue Vinitsky, Vladimir Derbov and Vladislav Serov: Symbolic-Numeric Algorithms for Computer Analysis of  Spheroidal Quantum Dot Models

15:00-15:30 Winfried Neun, Thomas Sturm and Stefan Vigerske: Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests

15:30-16:00 Coffee Break

16:00-20:00 Excursion to Lake Sevan, Dinner

Friday, September 10

Session: ODE

09:45-10:15 Evgenii V. Vorozhtsov: Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions

10:15-10:45 Vladimir Gerdjikov, Zoya Kostova and Nikolay Kostov: Differential resultant, computer algebra and completely integrable dynamical systems

10:45-11:15 Victor Edneral and Valery Romanovski: About Sufficient Conditions of Integrability of a  Planar ODE System near the  Degenerate Stationary Point

11:15-11:45 Sergey Slavyanov: One class of third order linear ODU

11:45-12:00 Coffee Break

Session: Miscellaneous

12:00-12:30 Christoph Zengler and Wolfgang Küchlin: Extending Clause Christoph Zengler and Wolfgang Küchlin: Extending Clause Christoph Zengler and Wolfgang Küchlin: Extending Clause Christoph Zengler and Wolfgang Küchlin: Extending Clause Learning of SAT Solvers with Boolean Groebner Bases

12:30-13:00German Kalugin and David Jeffrey: Series transformations to improve and extend convergence


Session: Software

14:00-14:30 Heinz Kredel and Raphael Jolly: Generic, Type-safe and Object Oriented Computer Algebra Software

Laurentiu Dragan and Stephen Watt: Type Specialization in Aldor

15:00-15:30Oleg Lobachev and Rita Loogen: Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden

15:30-16:30Business Meeting

16:30-17:00Coffee Break

Discussions, free time

Conference Party

Saturday, September 11

Sightseeing Tour  (In the evening transport to Yerevan)

Sunday, September 12

Departure of Participants