Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Innbundet /
2001
/ Engelsk
Produktdetaljer
ISBN
9781852334666
Publisert
2001-06-08
Utgiver
Springer London Ltd
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
13
Forfatter
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.
Les mer
Springer Book Archives
Produktdetaljer
ISBN
9781852334666
Publisert
2001-06-08
Utgiver
Springer London Ltd
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
13
Forfatter