Udvidet returret til d. 31. januar 2025

Bøger af Jacques Fleuriot

Filter
Filter
Sorter efterSorter Populære
  • - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
    af Tetsuo Ida
    516,95 kr.

    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.

  • af Jacques Fleuriot
    1.127,95 kr.

    Demonstrations of Newton's theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the "Principia", using formal tools developed in the generic theorem prover Isabelle.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.