Automated deduction in geometry :  9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers / 
 ADG 2012 
Tetsuo Ida, Jacques Fleuriot (editors) 
 - 1 online resource (x, 193 pages) :  illustrations 
 - Lecture notes in artificial intelligence ;  7993 LNCS sublibrary. SL 7, Artificial intelligence .
 - Lecture notes in computer science.  Lecture notes in artificial intelligence  7993 LNCS sublibrary.  SL 7,  Artificial intelligence .
<br/><br/> Includes author index. 
<br/><br/> Available to OhioLINK libraries 
<br/><br/> 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 
<br/><br/><label>ISBN: </label>3642406726 (ebook) 9783642406720 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Geometry--Data processing--Congresses
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books (Form)
<br/><br/><label>LC Class. No.: </label>QA448.D38