*Organizers:*

Katsusuke Nabeshima, Tokushima University, Japan. (nabeshima@tokushima-u.ac.jp)

Yosuke Sato, Tokyo University of Science, Japan. (ysato@rs.kagu.tus.ac.jp)

*Overview:*

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:

- comprehensive Gröbner bases (systems)
- quantifier elimination
- comprehensive triangular sets
- deformation of hypersurface singularities
- modelisation of parametric problems
- optimization of parametric systems
- resolution of sparse parametric systems
- low-level computation with multivariate polynomial coefficients
- resolution of polynomial systems with boolean parameters
- description of the real solutions of a parametric system
- description of the parameter space of a polynomial system
- extension of algorithms from non parametric to parametric systems

*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.

*Talks:*

- On multivariate hermitian quadratic forms,

__Ryoya Fukasaku__(Tokyo University of Science, Japan), Hidenao Iwane (Fujitsu Laboratories LTD/NII, Japan)

- T.B.A.,

__Yosuke Sato__(Tokyo University of Science, Japan), Hiroshi Sekigawa (Tokyo University of Science, Japan)

- An algorithm for computing Grothendieck local residues I
--- shape basis case ---,

__Katsuyoshi Ohara__(Kanazawa University, Japan), Shinichi Tajima (University of Tsukuba, Japan)

- An implementation of the Lê -Teissier method for computing local Euler obstructions,

__Shinichi Tajima__(University of Tsukuba, Japan), Katsusuke Nabeshima (Tokushima University, Japan)

- Computing integral numbers for a parametric ideal in a ring of convergent power series via comprehensive Gröbner systems,

__Katsusuke Nabeshima__(Tokushima University, Japan), Shinichi Tajima (University of Tsukuba, Japan)

More information about the conference can be found at the ACA 2017 conference web page .

Last update: 2017, May 1, by Katsusuke Nabeshima