25

How to read floating point numbers accurately
– William D Clinger
 1990

364

AMPL: A Modeling Language for
– R Fourer, D M Gay, B W Kernighan
 2003

20

Retrospective: how to print floatingpoint numbers accurately
– J L White
 2004

56

C++ Toolbox for Verified Computing
– R Hammer, M Hocks, U Kulisch, D Ratz
 1995

16

More AD of Nonlinear AMPL Models: Computing Hessian Information and Exploiting Partial Separability
– David M. Gay
 1996

24

Contributions to a Proposed Standard for Binary FloatingPoint Arithmetic
– Jerome Coonen
 1984

530

Methods and applications of interval analysis
– R E Moore
 1979

12

A Test of a Computer's FloatingPoint Arithmetic Unit
– N.L. Schryer, Nn. Ll, Nn. Ll, Nn. Ll, S Scchhrryyeerr, S Scchhrryyeerr, S Scchhrryyeerr
 1981

6

Retrospective: how to read floatingpoint numbers accurately
– W D Clinger
 2004

4

How to print floating point numbers accurately
– G L Steele, J L White
 1990

15

Printing FloatingPoint Numbers Quickly and Accurately
– Robert Burger, R. Kent Dybvig

2

A Fast Interval Library
– W Hofschuster, W Kraemer
 1997

17

The Extended Real Interval System
– G. William Walster
 1998

10

Automatic Differentiation of Nonlinear AMPL Models
– David M. Gay
 1991

5

for Binary FloatingPoint Arithmetic, Institute of Electrical and Electronics Engineers
– IEEE Standard
 1985

10

Expressing Complementarity Problems in an Algebraic Modeling Language and Communicating Them to Solvers
– Michael C. Ferris, Robert Fourer, David M. Gay
 1999

28

Hooking Your Solver to AMPL
– David M. Gay
 1997

8

A FortrantoC Converter," Computing Science
– S I FELDMAN, D M GAY, M W MAIMONE, N L SCHRYER
 1990

39

On the unconstrained optimization of partially separable functions
– L Toint
 1982
