CASC 2010
| Home |
| Program |
| Computer
Algebra in Scientific Computing CASC 2010 |
|
|||||||
|
|
| 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 |
||
| 13:00-14:00 |
Lunch |
|
| 14:00-17:30 |
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 | |||
| 12:00-12:30 |
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 | |||
| 14:00-14:30 |
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:00 | German Kalugin and David Jeffrey: Series transformations to improve and extend convergence | ||||
| 13:00-14:00 | Lunch | ||||
| Session: Software | |||||
| 14:00-14:30 | Heinz Kredel and Raphael Jolly: Generic, Type-safe and Object Oriented Computer Algebra Software | ||||
| 14:30-15:00 |
Laurentiu Dragan and Stephen Watt: Type Specialization in Aldor | ||||
| 15:00-15:30 | Oleg Lobachev and Rita Loogen: Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden | ||||
| 15:30-16:30 | Business Meeting | ||||
| 16:30-17:00 | Coffee Break | ||||
| 17:00-19:00 |
Discussions, free time |
||||
| 19:30 |
Conference Party |
||||
| Saturday, September 11 | ||
| Sightseeing
Tour (In the evening transport to Yerevan) |
||
| Sunday, September 12 | ||
| Departure
of Participants |