Computational Real Algebra and Real Geometry

!! The 8th IWMM

Workshop Program

Sunday, 11 July

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

 

Monday, 12 July

 

Chair: F. Rouillier

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