MS-Tu-D-45
Triangular decomposition of polynomial systems: solvers and applications - Part III of IV
For Part I, see MS-Mo-D-45
For Part II, see MS-Mo-E-45
For Part IV, see MS-Tu-E-45
Date: August 11
Time: 13:30--15:30
Room: 213A
(Note: Click title to show the abstract.)
Organizer:
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
http://www.csd.uwo.ca/~moreno/ICMS_Triangular_Decomposition_Session.html
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
http://www.regularchains.org) will support software demonstration of
the applications of the Characteristic Set Method.
MS-Tu-D-45-1
13:30--14:00
A numeric method for solving parametric polynomial systems with constraints
Wu, Wenyuan (CIGIT)
Chen, Changbo (Chinese Acad. of Sci.)
MS-Tu-D-45-2
14:00--14:30
A New Triangular Decomposition Algorithm for Differential Polynomial Systems
Gao, Xiao-Shan (Acad. of Mathematics & Sys. Sci., Chinese Acad. of Sci.)
Zhu, Wei (AMSS, Chinese Acad. of Sci.)
MS-Tu-D-45-3
14:30--15:00
Better handling of equational constraints in Cylindrical Algebraic Decomposition
Davenport, James (Univ. of Bath)
England, Matthew (Univ. of Bath)
Bradford, Russell (Univ. of Bath)
MS-Tu-D-45-4
15:00--15:30
Modelling and Verification for Stochastic Hybrid Systems
Zhan, Naijun (Inst. of Software, Chinese Acad. of Sci.)
Peng, Yu (Inst. of Software, Chinese Acad. of Sci.)
Wang, Shuling (Inst. of Software, Chinese Acad. of Sci.)
Footnote: 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 |