Triangular decomposition of polynomial systems: solvers and applications - Part I of IV
For Part II, see MS-Mo-E-45
For Part III, see MS-Tu-D-45
For Part IV, see MS-Tu-E-45

Date: August 10
Time: 13:30--15:30
Room: 213A

(Note: Click title to show the abstract.)

Moreno Maza, Marc (The Univ. of Western Ontario)
Chen, Changbo (Chinese Acad. of Sci.)

Abstract: The Characteristic Set Method of Wen Tsun Wu has freed Ritt¡¯s
decomposition from polynomial factorization, opening the door to a
variety of discoveries in polynomial system solving. In the past
three decades the work of Wu has been extended to more powerful
decomposition algorithms and applied to different types of polynomial
systems or decompositions: differential systems, difference systems,
real parametric systems, primary decomposition, cylindrical algebraic
decomposition. Today, triangular decomposition algorithms provide
back-engines for computer algebra system front-end solvers, such as
Maple¡¯s solve command and have been applied in various areas both in
the academia and in the industry.

In this proposed workshop, we hope to gather researchers who have
applied and extended the works Joseph Fels Ritt and Wen Tsun Wu. Our
goals are, first, to disseminate the techniques and software tools
which have been developed by this vibrant community and, second, to
stimulate further developments and applications of polynomial system
decomposition by means of characteristic sets.

At the International Congress on Mathematical Software (ICMS 2014), a
satellite conference of the International Congress on Mathematics, in
Seoul (South Korea), a session on the same topics as the proposed one
had gathered 9 talks, see

About another 30 researchers had expressed interest in participating
to this session but were not able to do so at that time the year or in
that location. Moreover, three other sessions of ICMS 2014 had talks
on this subject of polynomial system decomposition by means of
characteristic sets.

In a sum, the proposed workshop for ICIAM 2015 is expected to be well
attended and to generate rich interactions. At the same time, the
available software such as the RegularChains library (see will support software demonstration of
the applications of the Characteristic Set Method.

Revisiting Term Rewriting in Algebra
Sit, William (The City College of The City Univ. of New York)
Guo, Li (Rutgers Univ. at Newark)
Zheng, Shanghua (Lanzhou Univ.)
Gao, Xing (Lanzhou Univ.)

New effective differential Nullstellensatz
Gustavson, Richard (CUNY Graduate Center)
Kondratieva, Marina (Moscow State Univ.)
Ovchinnikov, Alexey (CUNY Queens College)

A generic position based method for real root isolation of zero-dimensional polynomial systems
Cheng, Jin-San (Chinese Acad. of Sci.)

Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
Xiaoliang, Li (Dongguan Univ. of Tech.)


Code: Type-Date-Time-Room No.
Type : IL=Invited Lecture, SL=Special Lectures, MS=Minisymposia, IM=Industrial Minisymposia, CP=Contributed Papers, PP=Posters
Date: Mo=Monday, Tu=Tuesday, We=Wednesday, Th=Thursday, Fr=Friday
Time : A=8:30-9:30, B=10:00-11:00, C=11:10-12:10, BC=10:00-12:10, D=13:30-15:30, E=16:00-18:00, F=19:00-20:00, G=12:10-13:30, H=15:30-16:00
Room No.: TBA