USTC Seminar on Geometric Computation

Tentative Schedule

Wednesday 24th April

08:45-09:00 Welcome
09:00-10:00 Multi-resolution Methods in Visualization
Chandrajit Bajaj (University of Texas at Austin, USA)
10:00-10:30 Tea Break
10:30-11:00 Image Magnification and Face Recognition Based on Multiple Geometry Features
Zongying Ou (Dalian University of Technology, China)
11:00-11:45 Shape Preserving Quasi-interpolation with B-spline for Non-parametric Curves
Zongmin Wu (Fudan University, China)
12:00-14:00 Lunch
14:00-15:00 Constructing Algebraic (Piecewise) Blending Surfaces
Yuyu Feng (University of Science and Technology of China)
15:00-15:30 Solving Piecewise Hermite Interpolation Problem with Blending Methods
Ming Li (Chinese Academy of Sciences)
15:30-16:00 Tea Break
16:00-16:30 Uniform Hyperbolic Polynomial B-Splines and Space Curve Interpolation Through Isometric Mapping
Xunnian Yang (Zhejiang University, China)
16:30-17:00 Analytical Properties and Algorithmic Generalizations of Semi-stationary Subdivision Schemes
Hongxin Zhang and Guojin Wang (Zhejiang University, China)

Thursday 25th April

08:30-09:30 Spatial Geometric Constraint Solving: Basic Configurations and Locus Intersection
Xiao-Shan Gao (Chinese Academy of Sciences)
09:30-10:00 Geometric Constraint Confusion in Design System
Liping Chen and Boxing Wang (Huazhong University of Science and Technology, China)
10:00-10:30 Tea Break
10:30-11:15 Implicitization Using Moving Curves and Surfaces
Falai Chen (University of Science and Technology of China)
12:00-14:00 Lunch
14:00-17:00 Excursion (to be confirmed)
18:00- Seminar Dinner

Friday 26th April

08:30-09:15 Smooth Subdivision Surfaces and PDEs
Chandrajit Bajaj (University of Texas at Austin, USA)
09:15-10:00 Implicitization and Parameterization in Algebraic Geometry with Applications to CAGD
Ilias S. Kotsireas (Wilfrid Laurier University, Canada)
10:00-10:30 Tea Break
10:30-11:15 Implicitization and Offsetting via Regular Systems
Dongming Wang (Université Pierre et Marie Curie - CNRS, France)
12:00-14:00 Lunch
14:00-15:00 Automated Deduction in Real Geometry
Lu Yang (Chinese Academy of Sciences)
15:00-15:30 Programs for the Study of Real Solutions of Semi-algebraic Systems
Bican Xia (Peking University, China)
15:30-16:00 Tea Break
16:00-16:30 Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets
Yong-bin Li (Shantou University, China)