Schedule and Talks

Schedule and Talks

Monday, September 9
10:00-12:00	Registration (open 9:00 to 10:00 Monday thru Thursday)
	Session Chair: Mayr
12:00-12:30	Opening (Gerdt, Mayr, Koepf, Vorozhtsov, Neun)
12:30-13:00	Welcome address by Peter Deuflhard, Ex-President of ZIB
13:00-14:30	Lunch Break
	Session Chair: Mayr
14:30-15:00	Raphael Jolly Categories as type classes in the Scala Algebra System
15:00-15:30	Sergei Abramov and Moulay Barkatou On dimension of solution spaces of full rank linear differential systems
15:30-16:00	Danko Adrovic and Jan Verschelde Polyhedral Methods for Space Curves Exploiting Symmetry
16:00-16:30	Eugenio Roanes-Lozano and Eugenio Roanes-Macias A note on the need for radical membership checking in mechanical theorem proving in geometry
16:30-17:00	Parisa Alvandi, Changbo Chen and Marc Moreno Maza Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
17:00-19:30	Welcome reception at Julius Kühn Institute (across the street)

Tuesday, September 10
	Session Chair: Koepf
9:00-9:30	Dima Grigoriev and Fritz Schwarz Computing divisors and common multiples of quasi-linear ordinary differential equations
9:30-10:00	Kosaku Nagasaka and Takaaki Masui Extended QRGCD Algorithm
10:00-11:00	Invited Talk Andreas Griewank From the product example to PDE adjoints, algorithmic differentiation and its application
11:00-11:30	Coffee Break
	Session Chair: Moreno Maza
11:30-12:00	Andrew Arnold, Mark Giesbrecht and Dan Roche Faster sparse interpolation of straight-line programs
12:00-12:30	Lingchuan Meng and Jeremy Johnson Automatic Parallel Library Generation for General-Size Modular FFT Algorithms
12:30-13:00	Doru Stefanescu Construction of classes of irreducible bivariate polynomials
13:00-14:30	Lunch Break
	Session Chair: Grigoriev
14:30-15:00	Victor Pan Fast Approximate Polynomial Evaluation and Interpolation by Means of Transformation of Matrix Structures
15:00-15:30	Valentin Irtegov and Tatiana Titorenko On Stationary Sets of Euler's Equations on so(3,1) and their Stability
15:30-16:00	Gennadi Malaschonok Bruhat decomposition in commutative domains
16:00-16:30	Mickaël Gastineau and Jacques Laskar Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-core Systems
16:30-18:00	Tour to Studio da Vinci in ZIB
17:00-18:00	Poster session with coffee
17:30-18:00	T. Richard (Maplesoft) Some new features in Maple 17
18:00-19:00	Business Meeting

Wednesday, September 11
	Session Chair: Weber
9:00-9:30	Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm and Andreas Weber Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
9:30-10:00	Werner M. Seiler Singularities of Implicit Differential Equations and Static Bifurcations
10:00-11:00	Invited Talk Thomas Wolf The many faces of integrability from an algebraic computation point of view
11:00-11:30	Coffee Break
	Session Chair: Seiler
11:30-12:00	Victor Edneral and Alexander Bruno On possibility additional solutions of the degenerated system near twice degeneration at the special value of the parameter
12:00-12:30	Vasily Shapeev and Evgenii Vorozhtsov CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations
12:30-13:00	Dima Grigoriev Polynomial complexity of solving systems of few algebraic equations with small degree
13:00-14:00	Lunch Break
14:00-22:00	Excursion & Conference Dinner

Thursday, September 12
	Session Chair: Prokopenya
9:00-9:30	Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly A. Rostovtsev, Le Hai Luong, Vladimir Derbov, Andrzej Gozdz and Eugeniy Klimov Symbolic-numerical algorithm for generating cluster eigenfunctions: identical particles with pair oscillator interactions
9:30-10:00	Sergue Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Vitaly A. Rostovtsev, Le Hai Luong, Vladimir Derbov and Pavel Krassovitskiy Symbolic-numerical algorithm for generating cluster eigenfunctions: tunneling of clusters through repulsive barriers
10:00-11:00	Invited Talk Dima Grigoriev Complexity in tropical algebra
11:00-11:30	Coffee Break
	Session Chair: Abramov
11:30-12:00	Hidenao Iwane, Hiroyuki Higuchi and Hirokazu Anai An Effective Implementation of a Special Quantifier Elimination for the Sign Definite Condition by Logical Formula Simplification
12:00-12:30	Sergey Gutnik and Vasily Sarychev Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics
	Cancelled: Mikhail Klin and Matan Ziv-Av Enumeration of Schur Rings over the Group A5
12:30-13:00	Ehsan Ullah Algebraic Attacks Using IP-Solvers
13:00-14:00	Lunch Break
14:00	Excursion on your own

Friday , September 13
	Session Chair: Vorozhtsov
9:00-9:30	Tateaki Sasaki, Daiju Inaba and Fujio Kako Towards Industrial Application of Approximate Computer Algebra Correction
9:30-10:00	Vladimir Gerdt and Alexander Prokopenya Simulation of Quantum Error Correction with Mathematica
10:00-10:30	Markus Rosenkranz and Nalina Phisanbut A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients
10:30-11:00	Vladimir Gerdt, Pierluigi Amodio, Yuri Blinkov and Roberto La Scala On Consistency of Finite Difference Approximations to the Navier-Stokes Equations
11:00-11:30	Coffee Break
	Session Chair: Gerdt
11:30-12:00	Alexei Uteshev and Marina Yashina Stationary Points for the Family of Fermat-Torricelli-Coulomb-like Potential Functions
12:00-12:30	Stefan Schirra A Note on Sekigawa's Zero Separation Bound
12:30-13:00	Leonid Sevastianov, Alexander Zorin and Alexander Gorbachev The explicit form of the observable operators and corresponded Ritz matrices for modeling of quantum system spectral characteristics
13:00-13:30	Dana Schlomiuk and Nicolae Vulpe Applications of Symbolic Calculations and Polynomial invariants to the Classifiaction of Singularities of Differential Systems
13:30	Closing remarks