The use of the name of the Technical Research Centre of Finland (VTT) in advertising or publication in part of this report is only permissible by written authorization from the Technical Research Centre of Finland.
|
347
|
Global Optimization Using Interval Analysis
– HANSEN, WALSTER
- 2004
|
|
335
|
Methods and Applications of Interval Analysis
– Moore
- 1979
|
|
190
|
Constraint propagation with interval labels
– Davis
- 1987
|
|
80
|
Logical arithmetic
– Cleary
- 1987
|
|
73
|
Computer Algebra Systems and Algorithms for Algebraic Computation
– Davenport, Siret, et al.
- 1993
|
|
36
|
C-XSC a C++ class library for extended scientific computing
– Klatte, Kulisch, et al.
- 1993
|
|
26
|
The Arithmetic of the Digital Computer: A New Approach
– Kulisch, Miranker
- 1986
|
|
22
|
New Computer Methods for Global Optimization, Ellis Horwood Limited
– Ratschek, Rokne
- 1988
|
|
12
|
Prospects for Using Variable Precision Interval Software in C++ for Solving some Contemporary Scientific Problems
– Ely
- 1990
|
|
12
|
Interval Analysis. Prentice-Hall
– Moore, R
- 1966
|
|
10
|
Constraint reasoning based on interval arithmetic --- The tolerance propagation approach
– Hyv��nen
- 1992
|
|
10
|
InC++ Library Family for Interval Computations
– Hyvönen, Pascale
- 1995
|
|
9
|
Pascal-SC, a Computer Language for Scientific Computation
– Bohlender, Ulrich, et al.
- 1987
|
|
9
|
GIA InC++: A Global Interval Arithmetic Library
– Hyvonen, Pascale
- 1994
|
|
8
|
Computer Methods for the Range of Functions (Ellis
– Ratscheck, Rokne
- 1988
|
|
7
|
Interval arithmetic as a closed arithmetic system on a computer
– Hanson
- 1968
|
|
7
|
FORTRAN-SC, a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH (IBM
– Kulisch
- 1987
|
|
6
|
Precise Numerical Analysis (Wm
– Aberth
- 1988
|
|
6
|
CIF InC++: A Library for Cascaded Interval Function Evaluation
– Hyvönen, E
- 1994
|
|
6
|
InC++: A Library for Interval Constraint Equations
– Hyv��nen, E, et al.
- 1994
|
|
6
|
Interval Constraint programming in C
– Hyv��nen, Pascale, et al.
- 1994
|
|
5
|
Programmer's manual of interval package
– Alander
- 1987
|
|
5
|
Triplex: A system for interval arithmetic, Software Practice and Experience 12
– Cole, Morrison
- 1982
|
|
5
|
Pitfalls in computation, or why math book is not enough
– Forsythe
- 1970
|
|
5
|
Interval constraint satisfaction tool
– Hyv��nen, Pascale, et al.
- 1993
|
|
2
|
How reliable are results of computers? Jahrbuch ��berblicke Mathematik 1983, 163-168, translation by Bibliographisches Institut AG
– Rump
- 1983
|
|
1
|
An Extended Interval Arithmetic Library for Microsoft
– Pascale, Hyv��nen
- 1994
|
|
1
|
VTT Technical Research Centre of Finland * Information Technology, Information Systems * Stefano De Pascale and Eero Hyv|nen * {Stefano.DePascale | Eero.Hyvonen}@vtt.fi * * All Rights Reserved * * Description: Header file for classes LIAError and Interval
– Copyright
- 1995
|
|
