단행본 상세

서지주요정보
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
서명 / 저자 Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / edited by Francisco Botana, Tomas Recio.
저자명 Botana, Francisco. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Recio, Tomas. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2007.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
총서명 Lecture Notes in Artificial Intelligence, 2945-9141 ; 4869
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783540773566
기타 표준번호 10.1007/978-3-540-77356-6
청구기호 QA440-699
형태사항 X, 218 p. online resource.
언어 English
내용 Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths.
주제 Geometry.
Artificial intelligence.
Computer graphics.
Machine theory.
Pattern recognition systems.
Computer science --Mathematics.
Discrete mathematics.
Geometry.
Artificial Intelligence.
Computer Graphics.
Formal Languages and Automata Theory.
Automated Pattern Recognition.
Discrete Mathematics in Computer Science.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783540846727 Printed edition: 9783540773559
QR CODE