%==============
\begin{center}
{\LARGE \bf Evaluations of Series
}
\end{center}
%==============
\bigskip

{\bf Organizers}

\medskip

\begin{itemize}

\item
Victor Edneral (edneral@theory.npi.msu.su)
\item
Nikolay Vasiliev (vasiliev@ita.spb.su)

\end{itemize}
\bigskip

{\bf Description}
\medskip

There are many partial approaches to evaluation of series (finite and infinite, formal and
convergent, over different algebraic objects) but we would like to look at the situation in general.
We wish to understand the possibility of using different kinds of series and to have different
algebraic structures for the approximation of the solutions of realistic problems. In particular, we
are interested in searching solutions of algebraic and differential equations defined by formal
multivariate power series. We are looking forward to present at the section different packages for
manipulating formal series in CA systems and new algorithms in this field. We also propose
several examples of different kinds of series, their evaluation, application and related algorithms. 

\bigskip
{\bf Talks}
\medskip

Date: July 19th (Friday) 

\begin{description}
\item[14:00-14:25] \ \\
  Bernard Mourrain\\
  {\bf Some Applications of Duality Between Polynomials and Formal Series.} 
\item[14:25-14:45] \ \\
  Victor Edneral\\
  {\bf ``NORT'' Package for Treating Multivariate Power Series and
    Applications.} 
\item[14:45-15:10] \ \\
  Wolfram Koepf\\
  {\bf Series Representations and Generating Functions of Special
    Functions with Mathematica.} 
\item[15:10-15:30] \ \\
  Nikolay Vasiliev, Victor Edneral
\\
  {\bf About an Algorithm to Construct a Canonical Basis for the Ideals
    in the Ring of Formal Power Series.}  
\item[15:30-16:15] \ \\
  \\
  {\bf Coffee Break } 
\item[16:15-16:40 ] \ \\
  Sebastian Walcher\\
  {\bf Normalizer Elements and Integrating Factors.} 
\item[16:40-17:00] \ \\
  A. Abad, A. Elipe, J. Palacian, J.F. San-Juan\\
  {\bf ATESAT: A Symbolic Processor for Artificial Satellite.} 
\item[17:00-17:20] \ \\
  Nikolay Vasiliev\\
  {\bf Formal Lie Series and Applications to the Hamiltonian Mechanics.} 
\item[17:20-17:30] \ \\
  Victor Edneral\\
  {\bf Symbolic Approximation of Periodic Solutions and Trajectories
    of Henon--Heiles' System by the Normal Form Method.} 
\end{description}

