{"product_id":"automated-deduction-in-geometry-5th-international-workshop-adg-2004-gainesville-fl-usa-september-16-18-2004-revised-papers-9783540313328","title":"Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers","description":"\u003cp\u003e • Author(s): Hoon Hong\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Geometry - Analytic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e \u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281322762391,"sku":"9783540313328","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540313328.webp?v=1769298888","url":"https:\/\/atlanticbooks.com\/products\/automated-deduction-in-geometry-5th-international-workshop-adg-2004-gainesville-fl-usa-september-16-18-2004-revised-papers-9783540313328","provider":"Atlantic Books","version":"1.0","type":"link"}