Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.).

Author/creator International Workshop on Automated Deduction in Geometry
Other author Wang, Dongming.
Format Book
Publication InfoBerlin ; New York : Springer, ©1998.
Description234 pages : illustrations ; 24 cm.
Subjects
Geometry--Data processing. --Congresses.
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.

SeriesLecture notes in computer science ; 1360. Lecture notes in artificial intelligence
Lecture notes in computer science 1360. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents 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.
Bibliography noteIncludes bibliographical references and index.
LCCN 98006388
ISBN3540642978 (alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA448.D38 I577 1996 ✔ Available Place Hold