The Resource Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)
Resource Information
The item Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 Summary
 This book constitutes the thoroughly refereed postproceedings 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 computeraided design and robotics
 Language
 eng
 Extent
 1 online resource (vi, 229 pages)
 Contents

 Algorithmic Tests for the Normal Crossing Property
 The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction
 Using Computer Algebra Tools to Classify Serial Manipulators
 MMP/Geometer
 A Software Package for Automated Geometric Reasoning
 The SymbolicData GEO Records
 A Public Repository of Geometry Theorem Proof Schemes
 A New Structural Rigidity for Geometric Constraint Systems
 Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving
 The Nonsolvability by Radicals of Generic 3connected Planar Graphs
 FunctionBased Shape Modeling: Mathematical Framework and Specialized Language
 C 1 Spline Implicitization of Planar Curves
 Analysis of Geometrical Theorems in CoordinateFree Form by Using Anticommutative Gröbner Bases Method
 GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically
 Distance Coordinates Used in Geometric Constraint Solving
 Isbn
 9783540246169
 Label
 Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers
 Title
 Automated deduction in geometry
 Title remainder
 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers
 Statement of responsibility
 Franz Winkler (ed.)
 Title variation
 ADG 2002
 Subject

 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatisches Beweisverfahren
 Conference papers and proceedings
 Conference papers and proceedings
 Démonstration automatique de théorèmes
 Geometrie
 Geometrische Modellierung
 Geometry  Data processing
 Geometry  Data processing
 Geometry  Data processing  Congresses
 Géométrie
 Hagenberg (Mühlkreis, 2002)
 Kongress
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 MATHEMATICS  Geometry  General
 Résolution de problème
 Système déductif
 Automatic theorem proving
 Language
 eng
 Summary
 This book constitutes the thoroughly refereed postproceedings 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 computeraided design and robotics
 Cataloging source
 COO
 Dewey number
 516/.00285
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA448.D38
 LC item number
 I577 2004
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2002
 http://bibfra.me/vocab/lite/meetingName
 International Workshop on Automated Deduction in Geometry
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1955
 http://library.link/vocab/relatedWorkOrContributorName
 Winkler, Franz
 Series statement

 Lecture notes in computer science,
 Lecture notes in artificial intelligence
 Series volume
 2930.
 http://library.link/vocab/subjectName

 Geometry
 Automatic theorem proving
 Logic, Symbolic and mathematical
 MATHEMATICS
 Automatic theorem proving
 Geometry
 Logic, Symbolic and mathematical
 Automatisches Beweisverfahren
 Geometrie
 Geometrische Modellierung
 Kongress
 Démonstration automatique de théorèmes
 Géométrie
 Système déductif
 Résolution de problème
 Label
 Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Algorithmic Tests for the Normal Crossing Property  The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction  Using Computer Algebra Tools to Classify Serial Manipulators  MMP/Geometer  A Software Package for Automated Geometric Reasoning  The SymbolicData GEO Records  A Public Repository of Geometry Theorem Proof Schemes  A New Structural Rigidity for Geometric Constraint Systems  Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving  The Nonsolvability by Radicals of Generic 3connected Planar Graphs  FunctionBased Shape Modeling: Mathematical Framework and Specialized Language  C 1 Spline Implicitization of Planar Curves  Analysis of Geometrical Theorems in CoordinateFree Form by Using Anticommutative Gröbner Bases Method  GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically  Distance Coordinates Used in Geometric Constraint Solving
 Control code
 55226883
 Dimensions
 unknown
 Extent
 1 online resource (vi, 229 pages)
 Form of item
 online
 Isbn
 9783540246169
 Lccn
 2004041414
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/b95516
 Other physical details
 illustrations.
 Specific material designation
 remote
 System control number
 (OCoLC)55226883
 Label
 Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Algorithmic Tests for the Normal Crossing Property  The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction  Using Computer Algebra Tools to Classify Serial Manipulators  MMP/Geometer  A Software Package for Automated Geometric Reasoning  The SymbolicData GEO Records  A Public Repository of Geometry Theorem Proof Schemes  A New Structural Rigidity for Geometric Constraint Systems  Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving  The Nonsolvability by Radicals of Generic 3connected Planar Graphs  FunctionBased Shape Modeling: Mathematical Framework and Specialized Language  C 1 Spline Implicitization of Planar Curves  Analysis of Geometrical Theorems in CoordinateFree Form by Using Anticommutative Gröbner Bases Method  GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically  Distance Coordinates Used in Geometric Constraint Solving
 Control code
 55226883
 Dimensions
 unknown
 Extent
 1 online resource (vi, 229 pages)
 Form of item
 online
 Isbn
 9783540246169
 Lccn
 2004041414
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/b95516
 Other physical details
 illustrations.
 Specific material designation
 remote
 System control number
 (OCoLC)55226883
Subject
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatisches Beweisverfahren
 Conference papers and proceedings
 Conference papers and proceedings
 Démonstration automatique de théorèmes
 Geometrie
 Geometrische Modellierung
 Geometry  Data processing
 Geometry  Data processing
 Geometry  Data processing  Congresses
 Géométrie
 Hagenberg (Mühlkreis, 2002)
 Kongress
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 MATHEMATICS  Geometry  General
 Résolution de problème
 Système déductif
 Automatic theorem proving
Genre
Member of
 Lecture notes in computer science, 2930
 Lecture notes in computer science, Lecture notes in artificial intelligence
Library Links
Embed
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.library.missouri.edu/portal/Automateddeductioningeometry4th/2Ba0SqEGUEE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automateddeductioningeometry4th/2Ba0SqEGUEE/">Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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 : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)
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.library.missouri.edu/portal/Automateddeductioningeometry4th/2Ba0SqEGUEE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automateddeductioningeometry4th/2Ba0SqEGUEE/">Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 46, 2002 : revised papers, Franz Winkler (ed.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>