977 search results - page 4 / 196 » Secure Computation with Fixed-Point Numbers |
MST
2008
13 years 7 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
CG
2004
Springer
13 years 7 months ago
2004
Springer
The Binet formula gives a natural way for Fibonacci numbers to be viewed as a function of a complex variable. We experimentally study the complex dynamics of the Fibonacci numbers...
MOC
2010
13 years 2 months ago
2010
JC
2002
13 years 7 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
MOC
2010
13 years 2 months ago
2010
Computing a lower bound for the canonical height is a crucial step in determining a Mordell