{"product_id":"mathematical-reasoning-with-diagrams","title":"Mathematical Reasoning with Diagrams","description":"Mathematicians at every level use diagrams to prove theorems. \"Mathematical Reasoning with Diagrams\" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system - called Diamond - which allows users to prove arithmetical theorems using diagrams.","brand":"Centre for the Study of Language \u0026 Information","offers":[{"title":"Default Title","offer_id":54222139359576,"sku":"9781575863238","price":64.99,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/agendabookshop.com\/products\/mathematical-reasoning-with-diagrams","provider":"Agenda Bookshop","version":"1.0","type":"link"}