program
副标题：
Computational Real Algebra and Real Geometry
—— The 8th IWMM
|
8:40
Chair: B. Xia |
Welcome
|
|
8:45—9:45 |
Hoon Hong North Carolina State University, USA Survey on Real Quantifier Elimination
|
|
9:45—10:45 |
Lu Yang Guangzhou University & Academia Sinica, China Proving Geometric Inequality with Radicals
|
|
10:45—11:10 |
Tea break
|
|
11:10—12:10 |
Xiao-Shan Gao Academia Sinica, China Topology Determination and Approximation of Algebraic Curves and
Surfaces |
|
12:10—14:00 |
Lunch |
|
Chair: P. Aubry |
|
|
14:00—15:00 |
Fabrice Rouillier INRIA, France Real Roots of Parametric Polynomial Systems
|
|
15:00—16:00 |
Bican Xia Peking University, China Real Root Classification of Semi-algebraic Systems
|
|
16:00—16:30 |
Tea break
|
|
16:30—17:30 |
Guangxing Zeng Nanchang University, China Deciding the Consistency of Semialgebraic Systems by Wu's Method
|
|
18:00 |
Workshop dinner |
|
8:45—9:45 |
Philippe Aubry Université Pierre et Marie Curie, France Triangular Sets in Real Solving
|
|
9:45—10:10 |
Tea break
|
|
10:10—11:10 |
Thomas Sturm University of Passau, Germany Advanced Paradigms in Quantifier Elimination
|
|
11:10—12:10 |
Lunch and end of the workshop
|
|
|
|
|
|
|
