IMACS
Welcome to the web page of the Session

Gröbner Bases and Applications

at the 7th IMACS-ACA Conference 

IMACS

Dear Colleagues,

we have the pleasure to invite you to participate in the session

Gröbner Bases and Applications

of the IMACS-ACA'2001 conference which will be held in Albuquerque, New Mexico, USA, May 31-June 3, 2001.

Session Organizers:

This session is a continuation of the series of sessions on the theory of Gröbner bases and its applications organized at previous IMACS-ACA conferences and other workshops. The Gröbner basis method has become one of the most important techniques in providing exact solutions of nonlinear problems in multivariate polynomial ideal theory, in computational commutative algebra, in elimination theory, in solving systems of algebraic equations, and in many other related areas. It is also being used fruitfully in a variety of seemingly unrelated research areas such as geometrical theorem proving, integer programming, solid modeling and engineering. The method is implemented in all major computer algebra systems.

Nevertheless, the field is still under active development both in the direction of improving the method by new theoretical insights and in finding new applications. This time we will concentrate on efforts to improve the method including basis conversion, modular approaches as well as nontrivial applications of the Gröbner basis method in mathematics, sciences, engineering, logic, education and other research areas.

PRELIMINARY   LIST   OF   SPEAKERS 
SPEAKER  TITLE 
Elizabeth Arnold Modular Algorithms for computing Gröbner bases
Karin Gatermann Application of SAGBI-bases to dynamics
Ed Green Noncommutative Gröbner bases: an overview
Ilias Kotsireas Alternative ways of solving polynomial systems
Alexander Levin Gröbner Bases with respect to Several Orderings and Multivariable Hilbert Polynomials
Ed Mosteig Using Valuations to Compute Gröbner Bases
Yosuke Sato On Gröbner Bases in polynomial rings over Von Neumann regular rings
Rekha Thomas Toric Initial Ideals without Embedded Primes
Quoc-Nam Tran FOLA: A Computer Algebra System for Doing Research,
Teaching and Studying Formal Languages, Grammars and Automata.
Uli Walther Computational Algebraic Geometry and Switching Surfaces in Optimal Control

For more information and/or if you are interested in giving a talk in this session, please contact the session organizers by e-mail :

Quoc-Nam Tran   Alexander Levin   Ilias Kotsireas