Automated deduction in geometry [electronic resource] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
Automated geometric reasoning : Dixon resultants, Gröbner bases, and characteristic sets / Deepak Kapur -- Extended Dixon's resultant and its applications / Quoc-Nam Tran -- Computational geometry problems in REDLOG / Thomas Sturm and Volker Weispfenning -- Probabilistic verification of elementary geometry statements / Giuseppa Carrá Ferro, Giovanni Gallo and Rosario Gennaro -- Computational synthetic geometry with Clifford algebra / Timothy F. Havel -- Clifford algebraic calculus for geometric reasoning with application to computer vision / Dongming Wang -- Area in Grassmann geometry / Desmond Fearnley-Sander and Tim Stokes -- Automated production of readable proofs for theorems in non-Euclidean geometries / Lu Yang ... [et al.] -- Points on algebraic curves and the parametrization problem / Erik Hillgarter and Franz Winkler -- Flat central configurations of four planet motions / He Shi and Fengmei Zou -- Integration of reasoning and algebraic calculus in geometry / Stéphane Fèvre
