A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia With Application to Newton's Principia
Afbeeldingen
Artikel vergelijken
Auteur:
Jacques Fleuriot
J. Fleuriot
- Engels
- Hardcover
- 9781852334666
- 08 juni 2001
- 160 pagina's
Samenvatting
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 08 juni 2001
- Aantal pagina's
- 160
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Jacques Fleuriot
- Tweede Auteur
- J. Fleuriot
- Hoofduitgeverij
- Springer
Overige kenmerken
- Editie
- 2001 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Nee
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 13 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 409 g
EAN
- EAN
- 9781852334666
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Hardcover
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.