{"product_id":"selected-topics-in-geometry-with-classical-vs-computer-proving","title":"Selected Topics In Geometry With Classical Vs. Computer Proving","description":"This textbook presents various automatic techniques based on Gröbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects — which cannot be easily done with a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.","brand":"World Scientific Publishing Co Pte Ltd","offers":[{"title":"Default Title","offer_id":54233668911448,"sku":"9789812709424","price":107.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9789812709424.jpg?v=1777237233","url":"https:\/\/agendabookshop.com\/products\/selected-topics-in-geometry-with-classical-vs-computer-proving","provider":"Agenda Bookshop","version":"1.0","type":"link"}