109.15
This book discusses the use of the real numbers in theorem proving. We de scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.
- : John Harrison
- : Springer London LTD
- : 9781447115939
- : Engels
- : Paperback
- : 186
- : november 2011
- : 450
- : 215 x 140 x 27 mm.
- : Distinguished Dissertations
- : Algoritmes en datastructuren; Kunstmatige intelligentie (AI); Wiskundige systeemtheorie