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 |

This site is maintained by Manasi Athale & Rahul Athale. | Last updated on August 28, 2002. |