%==============
\begin{center}
{\LARGE \bf Polynomial Elimination 
}
\end{center}
%==============
\bigskip

\noindent
{\bf Organizer}
\medskip

Dongming Wang (wang@leibniz.imag.fr)

\bigskip

\noindent
{\bf Description}
\medskip

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. 

\bigskip
\noindent
{\bf Talks}
\medskip

Date: July 19th (Friday) 

\begin{center}
{\Large \bf Polynomial Elimination I
}
\end{center}


\begin{description}
\item[08:30-09:00] \ \\
  J. Lyn Miller\\
  {\bf Algorithms for Extending Gr\"obner Bases to Subalgebras and Their Ideals.
} 
\item[09:00-09:30] \ \\
  Franz Pauer, Andreas Unterkircher\\
  {\bf Gr\"obner Bases for Ideals in Monomial Algebras and Their Application to Systems of
    Difference Equations.} 
\item[09:30-10:00] \ \\
  Lu Yang, Xiao-Rong Hou, Zhen-Bing Zeng
\\
  {\bf A Complete Discrimination System for Polynomials.} 
\item[10:00-10:30] \ \\
  \ \\
  {\bf Coffee Break}
\item[10:30-11:00] \ \\
  Masayuki Noro, Kazuhiro Yokoyama\\
  {\bf An Efficient Method to Compute the Univariate Rational Representation for
    Zero-dimensional Systems.} 
\item[11:00-11:30 ] \ \\
  Maria Pia Saccomani, Stefania Audoly, Claudio Cobelli, Leontina D'angi\`o
\\
  {\bf The Buchberger Algorithm to Study the a Priori Identifiability of Biological Systems
    Models.} 
\item[11:30-12:00] \ \\
  Jean-Charles Faug\`ere, Fran\c{c}ois Moreau de Saint-Martin, Fabrice Rouillier
\\
  {\bf Design of Nonseparable Bidimensional Wavelets and Filter Banks Using Gr\"obner Bases
    Techniques.} 

\end{description}

\newpage

\begin{center}
{\Large \bf Polynomial Elimination II
}
\end{center}


\begin{description}
\item[14:00-14:30] \ \\
  Hans J. Stetter\\
  {\bf Computer Algebra with Data of Limited Accuracy.} 
\item[14:30-15:00] \ \\
  Giuseppa Carr\`a Ferro\\
  {\bf Ritt's Algorithm and Differential Resultants of Two Algebraic ODE's.} 
\item[15:00-15:30] \ \\
  Dongming Wang\\
  {\bf A Polynomial System from Differential Equations.} 
\item[15:30-16:00] \ \\
  \\
  {\bf Coffee Break} \\
\item[16:00-16:30] \ \\
  Hoon Hong, Manfred Minimair\\
  {\bf Volume of Parameterized Polyhedra.} 
\item[16:30-17:00] \ \\
  Karin Gatermann\\
  {\bf Symmetry: A Package for Computation with Invariants and Equivariants.} 
\end{description}

