08:00 |
Bus leaves from IBIS Hotel |
09:00 - 09:15 |
Opening of the Workshop |
09:15 - 10:15 |
D. Scott    Introducing more abstract algebraic proofs in projective geometry |
10:15 - 10:45 |
Coffee Break |
10:45 - 11:15 |
L. Yang    Distance coordinates used in geometric constraint solving |
11:15 - 11:45 |
G. Bodná r    Testing the normal crossing property of hypersurfaces |
11:45 - 12:15 |
J. C. Owen,  S. C. Power    The nonsolvability by radicals of generic 3-connected planar graphs |
12:15 - 14:00 |
Lunch Break |
14:00 - 14:30 |
Z. Zeng,  H. Fu    Subresultants and discriminant sequences |
14:30 - 15:00 |
I. J. Tchoupaeva    Analysis of geometrical theorems in coordinate-free form by using anticommutative Gröbner bases method |
15:00 - 15:30 |
H. Li    Algebraic representation, expansion and simplification in automated geometric theorem proving |
15:30 - 16:00 |
Coffee Break |
16:00 - 16:30 |
X. S. Gao,  Q. Lin    MMP/Geometer - A software package for Automated Geometric Reasoning - A progress report |
16:30 - 17:00 |
H. G. Gräbe    The SymbolicData Proof Scheme Collection as a multiplatform project |
17:00 - 17:30 |
J. Robu    Geometry theorem proving in the frame of Theorema Project |
18:00 |
Bus leaves for IBIS Hotel |
08:30 |
Bus leaves from IBIS Hotel |
09:15 - 10:15 |
H. Pottmann    Understanding and reconstructing three-dimensional shapes from point clouds |
10:15 - 10:45 |
Coffee Break |
10:45 - 11:15 |
Q. N. Tran    Implicitization of geometric objects under affine transformations using Gröbner walks |
11:15 - 11:45 |
S. Covez,  F. Rouillier    Using computer algebra tools to classify serial manipulators
|
11:45 - 12:15 |
X. Chen,  D. Wang    The projection of quasi varieties and it's application on geometry theorem proving |
12:15 - 14:00 |
Lunch Break |
14:00 - 15:00 |
J. Schicho    Rational Parametrizations of Curves and Surfaces over Various Fields |
15:00 - 15:30 |
Y. Wu,  H. Shi    A special central configuration |
15:30 - 16:00 |
Coffee Break |
16:00 - 16:30 |
C. Jermann,  B. Neveu,  G. Trombettoni    A new structural rigidity for geometric constraint systems |
16:30 - 17:00 |
A. Sosnov,  P. Macé    Rapid algebraic resolution of 3D geometric contraints and control of their consistency |
17:00 - 17:30 |
P. Conti,  C. Traverso    Deciding topological properties: Compactness of basic real semialgebraic sets |
17:45 - 18:45 |
Wine and Cheese Reception |
19:00 - 21:30 |
Workshop Banquet |
21:30 |
Bus leaves for IBIS Hotel |
08:30 |
Bus leaves from IBIS Hotel |
09:15 - 10:15 |
B. Buchberger    Automated proofs of automated geometry provers |
10:15 - 10:45 |
Coffee Break |
10:45 - 11:15 |
B. Jüttler,  J. Schicho,  M. Shalaby    C1 spline implicitization of planar curves |
11:15 - 11:45 |
M. Peternell    Rational parametrizations of the Minkowski sum of two quadrics in 3-space |
11:45 - 12:15 |
A. Pasko, V. Adzhiev    Function-based shape modeling using a specialized language |
12:15 - 14:00 |
Lunch Break |
14:00 - 14:30 |
M. C. Ko,  Y. C. Choy    Feature-preserving simplification of polygonal surface based on half-edge contraction manner |
14:30 - 15:00 |
B. Jüttler    The shape of spherical rationsl quartics |
15:00 - 15:30 |
Coffee Break |
15:30 - 16:00 |
G. Landsmann    Implicitization of Algebraic Varieties |
16:00 - 16:30 |
D. Wang    GEOTHER 1.1: Handling and proving geometric theorems automatically |
16:30 - 17:00 |
H. Crapo, W. Schmitt    Straightening in the Whitney algebra of a matroid |
17:15 |
Bus leaves for IBIS Hotel |