國立虎尾科技大學 |

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Automated Deduction in Geometry/ edited by Francisco Botana, Pedro Quaresma.
Reminder of title:	10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
other author:	Botana, Francisco.
Description:	IX, 181 p. 54 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-319-21362-0
ISBN:	9783319213620

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Automated Deduction in Geometry10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /[electronic resource] :edited by Francisco Botana, Pedro Quaresma. - 1st ed. 2015. - IX, 181 p. 54 illus.online resource. - Lecture Notes in Artificial Intelligence ;9201. - Lecture Notes in Artificial Intelligence ;9285.

Star Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

ISBN: 9783319213620

Standard No.: 10.1007/978-3-319-21362-0doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
LDR:02483nam a22004095i 4500 001 969393
003 DE-He213
005 20200701041641.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319213620 $9 978-3-319-21362-0
024 7 $a 10.1007/978-3-319-21362-0 $2 doi
035 $a 978-3-319-21362-0
050 4 $a Q334-342
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
245 1 0 $a Automated Deduction in Geometry $h [electronic resource] : $b 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / $c edited by Francisco Botana, Pedro Quaresma.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a IX, 181 p. 54 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Artificial Intelligence ; $v 9201
505 0 $a Star Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.
520 $a This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer graphics. $3 561602
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Software engineering. $3 562952
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Graphics. $3 669895
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Software Engineering. $3 669632
700 1 $a Botana, Francisco. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067062
700 1 $a Quaresma, Pedro. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067063
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319213637
776 0 8 $i Printed edition: $z 9783319213613
830 0 $a Lecture Notes in Artificial Intelligence ; $v 9285 $3 1253845
856 4 0 $u https://doi.org/10.1007/978-3-319-21362-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)