Lazy computation with exact real numbers
โ Edalat et al.
๐ Library
๐ English
โฆ LIBER โฆ
๐
Computation-with-real-numbers
โ Scribed by Edalat, Heckmann.
- Tongue
- English
- Leaves
- 57
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Real algebraic number computation using
โ Johnson.
๐ Library
๐
1992
๐ ISSAC
๐ English
Theorem Proving with the Real Numbers
โ John Harrison PhD, MA (auth.)
๐ Library
๐
1998
๐ Springer-Verlag London
๐ English
<p>This book discusses the use of the real numbers in theorem proving. Typยญ ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of
Number Theory with Computer Applications
โ Ramanujachary Kumanduri, Cristina Romero
๐ Library
๐ Prentice Hall
๐ English
Calculus With Complex Numbers. Read
๐ Library
๐ English
Introduction to Number Theory With Compu
โ R. B. J. T. Allenby, E. J. Redfern
๐ Library
๐
1989
๐ Hodder Arnold
๐ English
<span>This introduction to number theory has been written specifically for mathematics and computing undergraduates. Computer programs in BASIC are accompanied by basic text which explains the subject and demonstrates how computers have opened up new horizons for number theorists.</span>