Parametric Polynomial Systems

at ACA'2017 to be held July 17-21 at the Jerusalem College of Technology, Jerusalem, Israel


Katsusuke Nabeshima, Tokushima University, Japan. (
Yosuke Sato, Tokyo University of Science, Japan. (


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:

Any applications in science and engineering of above topics are also welcome.

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.


  1. On multivariate Hermitian quadratic forms,
    Ryoya Fukasaku (Tokyo University of Science, Japan), Hidenao Iwane (Fujitsu Laboratories LTD/NII, Japan)

  2. On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal,
    Yosuke Sato (Tokyo University of Science, Japan), Hiroshi Sekigawa (Tokyo University of Science, Japan)

  3. An algorithm for computing Grothendieck local residues I --- shape basis case ---,
    Katsuyoshi Ohara (Kanazawa University, Japan), Shinichi Tajima (University of Tsukuba, Japan)

  4. An implementation of the Lê -Teissier method for computing local Euler obstructions,
    Shinichi Tajima (University of Tsukuba, Japan), Katsusuke Nabeshima (Tokushima University, Japan)

  5. 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, June 4, by Katsusuke Nabeshima