A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Boeken - Springer London Ltd - 9781852334666 - 8 juni 2001
Indien omslag en titel niet overeenkomen, is de titel correct

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

Jacques Fleuriot

Prijs
元 825,13

Besteld in een afgelegen magazijn

Verwachte levering 30 jun. - 8 jul.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations 2001 edition

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.

140 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 8 juni 2001
ISBN13 9781852334666
Uitgevers Springer London Ltd
Pagina's 140
Afmetingen 155 × 235 × 11 mm   ·   385 g
Taal en grammatica Engels  

Bekijk alles van Jacques Fleuriot ( bijv. Paperback Book en Hardcover Book )