An edition of Automated Deduction in Geometry (2013)

Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by MARC Bot
September 23, 2024 | History
An edition of Automated Deduction in Geometry (2013)

Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

Publish Date
Publisher
Springer
Pages
203

Buy this book

Book Details


Edition Notes

Source title: Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science (7993))

Classifications

Library of Congress
QA75.5-76.95, Q334-342, TJ210.2-211.495

The Physical Object

Format
paperback
Number of pages
203

Edition Identifiers

Open Library
OL28150785M
ISBN 10
3642406718
ISBN 13
9783642406713

Work Identifiers

Work ID
OL20796293W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 23, 2024 Edited by MARC Bot import existing book
October 5, 2021 Edited by ImportBot import existing book
May 28, 2020 Created by ImportBot Imported from amazon.com record