Sponsored by
[ Events ]

Activity Search
Sort out
NCTS Seminar on Celestial Mechanics
13:30 - 14:20, March 22, 2018 (Thursday)
Lecture Room B, 4th Floor, The 3rd General Building, NTHU
(清華大學綜合三館 4樓B演講室)
Wu's Method of Characteristic Set: the Algorithm
Ya-Lun Tsai (National Chung Hsing University)


In this talk, I will first demonstrate how Wu’s method beautifully apply to automated geometric theorem proving. Then I will present the algorithm of computing a characteristic set. Such set may contain more zeros than the original one, but the idea here is to decompose zeros by repeatly computing many characteristic sets. Since it seems there are no “specialization” issues as naturally encountered in computing Groebner basis with parameters, Wu’s method may be a good tool in dealing with parametric polynomial systems. Moreover, I will also discuss the possibility of using the pseudodivision in obtaining upper bounds of a zero dimensional variety in the hope of dealing with some finiteness problems of central configurations.


back to list  
 (C) 2018 National Center for Theoretical Sciences