## Program## ScheduleThe schedule is available in PDF format. Room numbers are not yet fixed.
Tutorial 2 is canceled
## Invited speakers- Sergei Abramov (Russian Academy of Sciences, Russia, email, www)
- Power Series and Linear Difference Equations
- Elizabeth L. Mansfield (University of Kent, UK, email, www)
- Digital Atlases and Difference Forms
- William Stein (University of Washington, USA, email, www)
- Can There be a Viable Free Open Source Alternative to Magma, Maple, Mathematica, and Matlab?
## Tutorial speakers- Komei Fukuda (ETH Zurich, email, www)
- Exact algorithms and software in optimization and polyhedral computation. >>more
- Gregor Kemper (Technische Universitaet München, email, www)
- Algorithmic Invariant Theory. >>more
- Madhu Sudan (MIT, email, www)
- Algebraic Algorithms and Coding Theory. >>more
## Poster presentations- Call for posters. [text]
## Software presentations- Call for software presentations. [text]
## Accepted Papers- Jean-Guillaume Dumas
- Q-adic Transform revisited
- Adam Strzebonski
- Real Root Isolation for Exp-Log Functions
- Felix Antritter and Jean Levine
- Computer Algebra Implementation of the Necessary and Sufficient Conditions for Differential Flatness in the Differential Geometric Framework of Jets of Infinite Order
- Valery Romanovski and Zhibek Kadyrsizova
- Linearizablity of 1:-3 resonant system with homogeneous cubic nonlinearities
- Michael Brickenstein and Alexander Dreyer
- Gröbner-free Normal Forms for Boolean Polynomials
- Manuel Kauers
- Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part
- Didier Henrion and Michael Sebek
- Plane geometry and convexity of polynomial stability regions
- Jesus De Loera, Jon Lee, Peter Malkin and Susan Margulies
- Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
- Eckhard Pfluegel
- A Rational Decomposition-Lemma for Systems of Linear Differential-Algebraic Equations
- Hiroshi Sekigawa
- The Nearest Polynomial with a Zero in a Given Domain from a Geometrical Viewpoint
- Massimo Caboara, Fabrizio Caruso and Carlo Traverso
- Gröbner Bases for Public Key Cryptography
- Michael Burr, Sungwoo Choi, Benjamin Galehouse and Chee Yap
- Complete Subdivision Algorithms, II: Isotopic Meshing of Algebraic Curves
- Diatta Daouda, Bernard Mourrain and Olivier Ruatta
- On the Computation of the Topology of a Non-Reduced Implicit Space Curve
- Hongbo Li and Lei Huang
- Complex Brackets, Balanced Complex Differences, and Applications in Symbolic Geometric Computing
- Xuhui Wang, Falai Chen and Jiansong Deng
- Implicitization and Parametrization of Quadratic Surfaces with One Base Point Using Moving Planes
- Anton Leykin
- Numerical primary decomposition
- Ruben Debeerst, Mark van Hoeij and Wolfram Koepf
- Solving Differential Equations in Terms of Bessel Functions
- Matthias Aschenbrenner and Christopher Hillar
- An Algorithm for Finding Symmetric Groebner Bases in Infinite Dimensional Rings
- Martin Peternell and Boris Odehnal
- On a remarkable class of rational surfaces in 4-space generalizing surfaces with linear normal vector fields
- Scott McCallum, Volker Weispfenning and Melanie Achatz
- Deciding Polynomial-Exponential Problems
- Dima Grigoriev and Fritz Schwarz
- Loewy Decomposition of Third-Order Linear PDE's in the Plane
- Alin Bostan, Bruno Salvy and Eric Schost
- Power Series Composition and Change of Basis
- Moulay Barkatou, Gary Broughton and Eckhard Pfluegel
- Regular Systems of Linear Functional Equations and Applications
- Vladimir Gerdt and Mikhail Zinin
- A Pommaret Division Algorithm for Computing Groebner Bases in Boolean Rings
- Erich Kaltofen and Pascal Koiran
- Expressing a Fraction of Two Determinants as a Determinant
- Mohab Safey El Din
- Computing the Global Optimum of a Multivariate Polynomial over the Reals
- Itnuit Janovitz-Freireich, Bernard Mourrain, Lajos Ronyai and Agnes Szanto
- Moment Matrices, Trace Matrices and the Radical of Ideals
- Markus Rosenkranz and Georg Regensburger
- Integro-Differential Polynomials and Operators
- Songxin Liang, David Jeffrey and Marc Moreno Maza
- The Complete Root Classification of a Parametric Polynomial on an Interval
- Alin Bostan, Frederic Chyzak and Nicolas Le Roux
- Products of Ordinary Differential Operators by Evaluation and Interpolation
- Guenael Renault and Kazuhiro Yokoyama
- Multi-modular Algorithm for Computing the Splitting Field of a Polynomial
- Viktor Levandovskyy and Jorge Martin Morales
- Advances in Computational D-module Theory with Singular
- Jean-Charles Faugere, Guillaume Moroz, Fabrice Rouillier and Mohab Safey El Din
- Classification of the Perspective-Three-Point Problem, Discriminant variety and real solving polynomial systems of inequalities
- Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai and Shinji Hara
- Symbolic Optimization of Algebraic Functions
- Erich Kaltofen, Bin Li, Zhengfeng Yang and Lihong Zhi
- Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
- Xiaoli Wu and Lihong Zhi
- Computing the Multiplicity Structure from Geometric Involutive Form
- Adrien Poteaux and Marc Rybowicz
- On the Good Reduction of Puiseux Series and the Complexity of Newton-Puiseux Algorithm over Finite Fields
- Ekaterina Shemyakova and Elizabeth Mansfield
- Moving Frames for Laplace Invariants
- François Lemaire, Marc Moreno Maza, Wei Pan and Yuzhen Xie
- When does (T) equal Sat(T) ?
- Mark Giesbrecht and Daniel Roche
- On Lacunary Polynomial Perfect Powers
webmaster |