Katsusuke Nabeshima, Tokushima University, Japan. (firstname.lastname@example.org)
Yosuke Sato, Tokyo University of Science, Japan. (email@example.com)
Parametric polynomial system solving is a challenge coming from many applications,
such as biology, control theory, robotics, deformation of hypersurface
singularities, etc. When a problem can be modelled by a parametric system,
the main issue is not only to return its solutions, but also to describe
them. The design of algorithms to solve parametric systems has recently
become an active and expanding research field. Manipulating parametric
systems is at the heart of computer algebra. It calls upon a wide range
of methods, such as comprehensive Gröbner bases, Cylindrical Algebraic
Decomposition, Quantifier Elimination, Comprehensive Triangular Sets, Comprehensive
Involutive Systems, Parametric Local Cohomology System, etc.
This session is focused on the art of parametric system solving, for general class of systems or dedicated to specific application problems, including the following topics:
Call for Contributions:
If you are interested in proposing a talk, please send an abstract by email
to Katsusuke Nabeshima (1-2 pages, with references). Each presentation
including Q&A is 30 minutes. Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version.
Submission of talks : see important dates.
More information about the conference can be found at the ACA 2017 conference web page .
Last update: 2017, March 2, by Katsusuke Nabeshima