Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)
Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)
Resource Information
The item Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000. The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semialgebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs
 Language
 eng
 Extent
 VIII, 328 p.
 Contents

 On Spatial Constraint Solving Approaches
 A Hybrid Method for Solving Geometric Constraint Problems
 Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
 A Practical Program of Automated Proving for a Class of Geometric Inequalities
 Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving
 Algebraic and Semialgebraic Proofs: Methods and Paradoxes
 Remarks on Geometric Theorem Proving
 The Kinds of Truth of Geometry Theorems
 A Complex Change of Variables for Geometrical Reasoning
 Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
 Effective Methods in Computational Synthetic Geometry
 Decision Complexity in Dynamic Geometry
 Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method
 Qubit Logic, Algebra and Geometry
 Nonstandard Geometric Proofs
 Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
 HigherOrder Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry
 Isbn
 9783540454106
 Label
 Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
 Title
 Automated Deduction in Geometry
 Title remainder
 Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
 Statement of responsibility
 edited by Jürgen RichterGebert, Dongming Wang
 Subject

 Geometry
 Computer graphics
 Computer Graphics
 Computational complexity
 Optical pattern recognition
 Computer science
 Computer science
 Artificial intelligence
 Mathematical Logic and Formal Languages
 Computer Science
 Computational complexity
 Computer Science
 Discrete Mathematics in Computer Science
 Artificial intelligence
 Electronic resources
 Computer graphics
 Artificial intelligence
 Pattern Recognition
 Geometry
 Optical pattern recognition
 Computer Science
 Computer Graphics
 Computer science
 Artificial Intelligence (incl. Robotics)
 Language
 eng
 Summary
 This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000. The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semialgebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs
 http://library.link/vocab/creatorName
 RichterGebert, Jürgen
 Image bit depth
 0
 LC call number

 Q334342
 TJ210.2211.495
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Wang, Dongming.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 2061
 http://library.link/vocab/subjectName

 Computer science
 Computational complexity
 Artificial intelligence
 Computer graphics
 Optical pattern recognition
 Geometry
 Computer Science
 Artificial Intelligence (incl. Robotics)
 Computer Graphics
 Mathematical Logic and Formal Languages
 Pattern Recognition
 Discrete Mathematics in Computer Science
 Geometry
 Label
 Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 On Spatial Constraint Solving Approaches  A Hybrid Method for Solving Geometric Constraint Problems  Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study  A Practical Program of Automated Proving for a Class of Geometric Inequalities  Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving  Algebraic and Semialgebraic Proofs: Methods and Paradoxes  Remarks on Geometric Theorem Proving  The Kinds of Truth of Geometry Theorems  A Complex Change of Variables for Geometrical Reasoning  Reasoning about Surfaces Using Differential Zero and Ideal Decomposition  Effective Methods in Computational Synthetic Geometry  Decision Complexity in Dynamic Geometry  Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method  Qubit Logic, Algebra and Geometry  Nonstandard Geometric Proofs  Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization  HigherOrder Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry
 Dimensions
 unknown
 Extent
 VIII, 328 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540454106
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540454101
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540454106
 Label
 Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 On Spatial Constraint Solving Approaches  A Hybrid Method for Solving Geometric Constraint Problems  Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study  A Practical Program of Automated Proving for a Class of Geometric Inequalities  Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving  Algebraic and Semialgebraic Proofs: Methods and Paradoxes  Remarks on Geometric Theorem Proving  The Kinds of Truth of Geometry Theorems  A Complex Change of Variables for Geometrical Reasoning  Reasoning about Surfaces Using Differential Zero and Ideal Decomposition  Effective Methods in Computational Synthetic Geometry  Decision Complexity in Dynamic Geometry  Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method  Qubit Logic, Algebra and Geometry  Nonstandard Geometric Proofs  Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization  HigherOrder Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry
 Dimensions
 unknown
 Extent
 VIII, 328 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540454106
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540454101
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540454106
Subject
 Artificial Intelligence (incl. Robotics)
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Computational complexity
 Computational complexity
 Computer Graphics
 Computer Graphics
 Computer Science
 Computer Science
 Computer Science
 Computer graphics
 Computer graphics
 Computer science
 Computer science
 Computer science
 Discrete Mathematics in Computer Science
 Electronic resources
 Geometry
 Geometry
 Mathematical Logic and Formal Languages
 Optical pattern recognition
 Optical pattern recognition
 Pattern Recognition
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AutomatedDeductioninGeometryThird/kkyeHwZgN1E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AutomatedDeductioninGeometryThird/kkyeHwZgN1E/">Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AutomatedDeductioninGeometryThird/kkyeHwZgN1E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AutomatedDeductioninGeometryThird/kkyeHwZgN1E/">Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers, edited by Jürgen RichterGebert, Dongming Wang, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>