Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009335974/catalog> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- catalog abstract "This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.".
- catalog alternative "ADG 2002".
- catalog contributor b13181662.
- catalog contributor b13181663.
- catalog created "c2004.".
- catalog date "2004".
- catalog date "c2004.".
- catalog dateCopyrighted "c2004.".
- catalog description "Algorithmic tests for the normal crossing property / Gabor Bodnar -- The projection of quasi variety and its application on geometric theorem proving and formula deduction / XueFeng Chen and DingKang Wang -- Using computer algebra tools to classify serial manipulators / Solen Corvez and Fabrice Rouillier -- MMP/geometer -- a software package for automated geometric reasoning / Xiao-Shan Gao and Qiang Lin.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.".
- catalog extent "vi, 229 p. :".
- catalog identifier "3540209271 (acid-free paper)".
- catalog isPartOf "Lecture notes in computer science ; 2930.".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2930 Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2004".
- catalog issued "c2004.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "516/.0285 22".
- catalog subject "Artificial intelligence.".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Computational complexity.".
- catalog subject "Computer graphics.".
- catalog subject "Computer science.".
- catalog subject "Discrete groups.".
- catalog subject "Geometry Data processing Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Optical pattern recognition.".
- catalog subject "QA448.D38 I577 2002".
- catalog tableOfContents "Algorithmic tests for the normal crossing property / Gabor Bodnar -- The projection of quasi variety and its application on geometric theorem proving and formula deduction / XueFeng Chen and DingKang Wang -- Using computer algebra tools to classify serial manipulators / Solen Corvez and Fabrice Rouillier -- MMP/geometer -- a software package for automated geometric reasoning / Xiao-Shan Gao and Qiang Lin.".
- catalog title "ADG 2002".
- catalog title "Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "Hagenberg (Mühlkreis, 2002) swd".
- catalog type "text".