Dansk
Automated Deduction in Geometry e-bog
436,85 DKK
(inkl. moms 546,06 DKK)
This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem so...
E-bog
436,85 DKK
Forlag
Springer
Udgivet
8 februar 2006
Genrer
PBD
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540313632
This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.