Automated Deduction in Geometry

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Application Software, Computer Graphics, General Computing
Cover of the book Automated Deduction in Geometry by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319213620
Publisher: Springer International Publishing Publication: July 17, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319213620
Publisher: Springer International Publishing
Publication: July 17, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 9 by
Cover of the book Web and Big Data by
Cover of the book Geometric Properties for Parabolic and Elliptic PDE's by
Cover of the book Mathematics and Computation in Music by
Cover of the book Introduction to Time-Delay Systems by
Cover of the book Light Metals 2017 by
Cover of the book Kindergarten Transition and Readiness by
Cover of the book Health Monitoring and Personalized Feedback using Multimedia Data by
Cover of the book Left Septal Fascicular Block by
Cover of the book Government 3.0 – Next Generation Government Technology Infrastructure and Services by
Cover of the book Invention of Tradition and Syncretism in Contemporary Religions by
Cover of the book Physics and Mechanics of Primary Well Cementing by
Cover of the book Fish on the Move by
Cover of the book Urinary Dysfunction in Prostate Cancer by
Cover of the book Smart Cities Performability, Cognition, & Security by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy