Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007866211/catalog> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- catalog abstract "This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.".
- catalog contributor b10891786.
- catalog contributor b10891787.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "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 [and others] -- 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.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.".
- catalog extent "234 p. :".
- catalog identifier "3540642978 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1360.".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1360. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "516/.00285 21".
- catalog subject "Algorithms.".
- catalog subject "Artificial intelligence.".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Computer graphics.".
- catalog subject "Computer science.".
- catalog subject "Geometry Data processing Congresses.".
- catalog subject "Geometry.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA448.D38 I577 1996".
- catalog tableOfContents "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 [and others] -- 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.".
- catalog title "Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Toulouse (1996) swd".
- catalog type "text".