Polynomial Elimination

Organizer

Dongming Wang (wang@leibniz.imag.fr)

Description

This special session focuses on applying classical and modern elimination algorithms and tools to problems in various domains of science, engineering and industry. Some already successful applications (for example, in mathematical computation, geometric reasoning/modeling/design, system/control theory, computer vision/robotics and neural networks) will be surveyed and reported, and still un-attackable problems are to be identified for further research and as challenge to future improvement and development of elimination algorithms and their implementation.

Talks

• Algorithms for Extending Gröbner Bases to Subalgebras and Their Ideals
  J. Lyn Miller (Western Kentucky University)
  

• Gröbner Bases for Ideals in Monomial Algebras and Their Application to Systems of Difference Equations
  Franz Pauer, Andreas Unterkircher (University of Innsbruck)
  

• A Complete Discrimination System for Polynomials
  Lu Yang, Xiao-Rong Hou, Zhen-Bing Zeng (Academia Sinica)
  

• An Efficient Method to Compute the Univariate Rational Representation for Zero-dimensional Systems
  Masayuki Noro, Kazuhiro Yokoyama (Fujitsu Laboratories Limited)
  

• The Buchberger Algorithm to Study the a Priori Identifiability of Biological Systems Models
  Maria Pia Saccomani (University of Padova),
  Stefania Audoly, Leontina D'Angio' (University of Cagliari),
  Claudio Cobelli (University of Padova)
  

• Design of Nonseparable Bidimensional Wavelets and Filter Banks Using Gröbner Bases Techniques
  Jean-Charles Faugère (Université Paris VI - Pierre et Marie Curie),
  François Moreau de Saint-Martin (CCETT - France Telecom Group),
  Fabrice Rouillier (Université de Rennes I)
  

• Ritt's Algorithm and Differential Resultants of Two Algebraic ODE's
  Giuseppa Carra' Ferro (University of Catania)
  

• A Polynomial System from Differential Equations
  Dongming Wang (Institut IMAG)
  

• Symmetry: A Package for Computation with Invariants and Equivariants
  Karin Gatermann (FU/ZIB Berlin)
  
  

  ---