Proving the IEEE Correctness of Iterative Floating-Point Square Root, Divide, and Remainder Algorithms

by Marius Cornea-Hasegan
Citations:19 - 2 self

Active Bibliography

Phase Uncertainty of a Sampled Quantizer – Van Engelen
Classification of Denjoy continua – Marcy Barge And, Marcy Barge, R. F. Williams - 2000
Multi-sequences with d-perfect property Xiutao Feng, Quanlong Wang and Zongduo Dai – State Key Laboratory, Xiutao Feng, Quanlong Wang, Zongduo Dai - 2004
1 A Critique of the Mathematical Abilities of CA Systems – Michael Wester - 1999
Applying Interval Arithmetic to . . . – Frederic Benhamou, William J. Older
Preface Notation – David Cox, John Little, Hal Schenck
FACTORING IN QUADRATIC FIELDS – Keith Conrad
ALGEBRAIC NUMBER RINGS Abstract – Nathan Thomas Moyer, Bala Krishnamoorthy Ph. D, Nathan Thomas Moyer, Ph. D, Chair William, A. Webb - 2010
Some notes on the possible under/overflow of the most – Vincent Lefèvre, Jean-michel Muller, Université Claude, Bernard Lyon - 2007
Pell's equation – Michel Waldschmidt - 2010
ABSTRACT Generalization of 4×4 Magic Square – Deo Brat Ojha, Kaul. B. L
5 Continued fractions of formal power series – A. J. Van Der Poorten
MULTIDIMENSIONAL CONTINUED FRACTION AND RATIONAL APPROXIMATION – Zongduo Dai, Kunpeng Wang, Dingfeng Ye - 2004
A Two-Dimensional Minkowski?(x) Function – Olga R. Beaver, Thomas Garrity - 2002
7 On Upsampling, Downsampling And Rational Sampling Rate Filter Banks – R. A. Gopinath, C.S. Burrus, Department Of Electrical, Computer Engineering, Ramesh A. Gopinath - 1992
SEMI-MAGIC SQUARES AND ELLIPTIC CURVES – Edray Herber Goins - 910
CTP-2197 The Ground State Structure and Modular Transformations of Fractional Quantum Hall States on a Torus – Esko Keski-vakkuri, Xiao-gang Wen - 1993
A New Geometrical Method for Constructing Coincident Site Lattices for Cubic Crystals – M. Shamsuzzoha, R. Rahman
8 The geometry of continued fractions and the topology of surface singularities, arxiv:math.GT/0506432 – Patrick Popescu-pampu - 2006