## Interval Computations On The Spreadsheet (1996)

Venue: | Applications of Interval Computations |

Citations: | 6 - 1 self |

### BibTeX

@INPROCEEDINGS{Hyvönen96intervalcomputations,

author = {Eero Hyvönen and Stefano De Pascale},

title = {Interval Computations On The Spreadsheet},

booktitle = {Applications of Interval Computations},

year = {1996},

pages = {169--209},

publisher = {Kluwer}

}

### OpenURL

### Abstract

This paper reviews work on using interval arithmetic as the basis for next generation spreadsheet programs capable of dealing with rounding errors, imprecise data, and numerical constraints. A series of ever more versatile computational models for spreadsheets are presented beginning from classical interval arithmetic and ending up with interval constraint satisfaction. In order to demonstrate the ideas, an actual implementation of each model as a class library is presented and its integration with a commercial spreadsheet program is explained. 1 LIMITATIONS OF SPREADSHEET COMPUTING Spreadsheet programs, such as MS Excel, Quattro Pro, Lotus 1--2--3, etc., are among the most widely used applications of computer science. Since the pioneering days of VisiCalc and others, spreadsheet programs have been enhanced immensely with new features. However, the underlying computational paradigm of evaluating arithmetical functions by using ordinary machine arithmetic has remained the same. The wor...

### Citations

878 |
Interval analysis
- Moore
- 1966
(Show Context)
Citation Context ...used. A reliable value for U 1 cannot hence be computed by using ordinary arithmetic. However, by using interval analysis reliable bounds for U 1 can be determined. Classical interval arithmetic (IA) =-=[38]-=- alone is not necessarily applicable to this kind of problems because it treats multiple variable instances in the functions independently from each other (here variables R 2 and R 3 have two instance... |

529 |
Methods and Applications of Interval Analysis
- Moore
- 1979
(Show Context)
Citation Context ...the actual value range of a function F can be evaluated only if F does not have multiple variable instances, or if such variables have precise numeric values, which actually makes them non--variables =-=[39]-=-. The excess width diminishes as the values of the multiple instance variables get stricter and stricter. This dependency problem has its incarnation also at the function set level. For example, consi... |

464 |
Global Optimization Using Interval Analysis
- Hansen
- 1992
(Show Context)
Citation Context ... wide, even infinite, and the problem of extra width is strongly emphasized. In order to evaluate the actual range of an interval function in the general case, global interval optimization techniques =-=[43, 13]-=- must be employed. Another limitation of classical IA is its restricted notion of interval as a closed finite continuum of values. This may suffice when dealing with rounding error bounds. However, in... |

215 |
Constraint propagation with interval labels
- Davis
- 1987
(Show Context)
Citation Context ...tries to find a feasible solution (output values) by iteratively guessing argument values (input values). Problems such as (1.4) can be approached by using interval constraint satisfaction techniques =-=[8, 10, 15, 17]-=- in which function sets (or more generally equation sets) are treated as symmetric relational constraints without committing to any input--output distinction. In addition to using the trial--and--erro... |

202 | Consistency techniques for numeric CSP
- Lhomme
- 1993
(Show Context)
Citation Context ...nd tolerance (interval) propagation techniques for determining local and, especially, stricter than local interval solutions in an efficient way. Other implementations for bounding solutions, such as =-=[41, 34, 35, 45, 3, 37]-=- do not make use of algebraic or global interval techniques but rely on local numerical ones. 4.3 Interval Constraint Excel As a demonstration, a version of ICE has been integrated with MS Excel [25].... |

103 |
Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- Hyvönen
- 1992
(Show Context)
Citation Context ...tries to find a feasible solution (output values) by iteratively guessing argument values (input values). Problems such as (1.4) can be approached by using interval constraint satisfaction techniques =-=[8, 10, 15, 17]-=- in which function sets (or more generally equation sets) are treated as symmetric relational constraints without committing to any input--output distinction. In addition to using the trial--and--erro... |

89 |
Logical arithmetic
- Cleary
- 1987
(Show Context)
Citation Context ...tries to find a feasible solution (output values) by iteratively guessing argument values (input values). Problems such as (1.4) can be approached by using interval constraint satisfaction techniques =-=[8, 10, 15, 17]-=- in which function sets (or more generally equation sets) are treated as symmetric relational constraints without committing to any input--output distinction. In addition to using the trial--and--erro... |

74 |
Computer Algebra. Systems and algorithms for algebraic computation
- Davenport, Siret, et al.
- 1993
(Show Context)
Citation Context ...epresentation. By using more bits, less overflows are likely to happen but the problem still remains. The selection can also be made dynamically, like in C--XSC [30]. In many computer algebra systems =-=[9]-=-, arbitrarily large integers and precise rational numbers can be used. The price to be paid for such precision is of course increase in computational complexity. When using computationally more effici... |

70 |
Computer Methods for the Range of Functions
- Ratschek, Rokne
- 1984
(Show Context)
Citation Context ...ed for evaluating the actual value range of an interval function, i.e., for its global evaluation. Best--known approaches are the various numerical branch--and--bound algorithms discussed in depth in =-=[42, 43, 13]-=-. This paper considers these techniques mainly from the practical user's view point. We proceed by presenting a global function evaluator library GIA InC++ [21, 24] in whose design practical issues en... |

69 |
The Definition and Implementation of a Computer Programming Language Based on Constraints
- Steele
- 1980
(Show Context)
Citation Context ....3) could be computed as a function of the others. This kind of "symmetric" computations where any variable can be used as input or output, can be performed by using constraint propagation t=-=echniques [47, 36]-=-. The first spreadsheet programs using constraint propagation were released already in the early 80's. TK!Solver [31] was a well--known commercial implementation. In [15, 17] four major problems of nu... |

67 | Constraint arithmetic on real intervals
- OLDER, A
- 1993
(Show Context)
Citation Context ... by embedding it into programming tools that include: 1. Programming languages . Most interval arithmetic implementations such as Pascal--SC [6], Fortran--SC [5], PBasic [1], VPI [12] and BNR--Prolog =-=[41]-=- can be seen as extensions or additional libraries for various programming languages. The implementations are intended for programmers. 2. Computer algebra packages . Recently, interval extensions to ... |

58 |
C-XSC – a C++ class library for extended scientific computing
- Klatte, Kulisch, et al.
- 1993
(Show Context)
Citation Context ... number of bits to be used for number representation. By using more bits, less overflows are likely to happen but the problem still remains. The selection can also be made dynamically, like in C--XSC =-=[30]-=-. In many computer algebra systems [9], arbitrarily large integers and precise rational numbers can be used. The price to be paid for such precision is of course increase in computational complexity. ... |

58 |
Constraint programming languages. Their specification and generation
- Leler
- 1988
(Show Context)
Citation Context ....3) could be computed as a function of the others. This kind of "symmetric" computations where any variable can be used as input or output, can be performed by using constraint propagation t=-=echniques [47, 36]-=-. The first spreadsheet programs using constraint propagation were released already in the early 80's. TK!Solver [31] was a well--known commercial implementation. In [15, 17] four major problems of nu... |

25 |
The arithmetic of digital computer: A new approach
- Kulisch, Miranker
- 1986
(Show Context)
Citation Context ...cuit. the first function). As a result, there is usually too much width in the results. In spite of this difficulty, classical IA can be useful when intervals are narrow estimates for rounding errors =-=[33]-=- because then the extra width accumulated into the results often remains tolerable. However, in this paper we see interval arithmetic in the first place as a general formalism for representing uncerta... |

24 |
Computation of rational interval functions
- Skelboe
- 1974
(Show Context)
Citation Context ...raic optimization in GIA InC++ are discussed in some more detail. Numerical evaluation GIA's numerical evaluation is based on the numerical branch--and--bound (BB) search scheme introduced by Skelboe =-=[46]-=- and developed further by others [2, 42, 43, 40]. Roughly speaking, the idea is to consider argument intervals in ever smaller and more precise parts. Efficiency is gained by identifying and pruning i... |

20 | Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing 47(2
- Kearfott
- 1991
(Show Context)
Citation Context ...ch was developed into a new generalized computational paradigm for spreadsheet computing in [16, 18]. Other approaches to interval constraint satisfaction based on related techniques are discussed in =-=[28, 3, 32]-=-. Application of interval constraints in evaluating actual function value ranges is discussed in [7]. Interval constraint spreadsheets have several attractions when compared with ordinary spreadsheet:... |

19 | Hierarchical arc consistency for disjoint real intervals in constraint logic programming
- SIDEBOTTOM, W
- 1992
(Show Context)
Citation Context ...feasible regions from the variable intervals [10]. By this technique local solutions can be found. This technique is also employed in interval constraint implementations for logic programming such as =-=[41, 45]-=-. Another possibility is to generalize classical value propagation techniques [47] for interval arithmetic, i.e., to use tolerance propagation [15, 17]. In this technique, the structure of the constra... |

18 |
Rigorous methods for global optimization
- Moore, Hansen, et al.
- 1992
(Show Context)
Citation Context ...scussed in some more detail. Numerical evaluation GIA's numerical evaluation is based on the numerical branch--and--bound (BB) search scheme introduced by Skelboe [46] and developed further by others =-=[2, 42, 43, 40]-=-. Roughly speaking, the idea is to consider argument intervals in ever smaller and more precise parts. Efficiency is gained by identifying and pruning irrelevant subintervals from consideration as ear... |

17 |
Precise numerical analysis
- Aberth
- 1988
(Show Context)
Citation Context ...c has usually been implemented by embedding it into programming tools that include: 1. Programming languages . Most interval arithmetic implementations such as Pascal--SC [6], Fortran--SC [5], PBasic =-=[1]-=-, VPI [12] and BNR--Prolog [41] can be seen as extensions or additional libraries for various programming languages. The implementations are intended for programmers. 2. Computer algebra packages . Re... |

16 | Interval computation as deduction in CHIP
- Lee, Emden
- 1993
(Show Context)
Citation Context ...nd tolerance (interval) propagation techniques for determining local and, especially, stricter than local interval solutions in an efficient way. Other implementations for bounding solutions, such as =-=[41, 34, 35, 45, 3, 37]-=- do not make use of algebraic or global interval techniques but rely on local numerical ones. 4.3 Interval Constraint Excel As a demonstration, a version of ICE has been integrated with MS Excel [25].... |

15 | a novel approach to solving systems of algebraic equations
- Babichev, Kadyrova, et al.
- 1993
(Show Context)
Citation Context ...x; y [ = fa j a ! x or asyg By using complements, IA rules can be extended for some discontinuous situations not defined in classical IA, such as division by an interval containing zero. For example: =-=[3; 6]-=- [\Gamma1; 3] = ] \Gamma 3; 1[ Interval Computations on the Spreadsheet 9 Discontinuous intervals The complement is a simple case of the more general notion of discontinuous or multi--interval . A dis... |

11 |
FORTRAN-SC: A study of a FORTRAN extension of engineering/scientific computations with access to ACRITH
- Bleher, Rump, et al.
(Show Context)
Citation Context ...al arithmetic has usually been implemented by embedding it into programming tools that include: 1. Programming languages . Most interval arithmetic implementations such as Pascal--SC [6], Fortran--SC =-=[5]-=-, PBasic [1], VPI [12] and BNR--Prolog [41] can be seen as extensions or additional libraries for various programming languages. The implementations are intended for programmers. 2. Computer algebra p... |

11 |
Interval arithmetic in Mathematica
- Keiper
- 1993
(Show Context)
Citation Context ...rogramming languages. The implementations are intended for programmers. 2. Computer algebra packages . Recently, interval extensions to various computer algebra packages such as Maple and Mathematica =-=[29]-=- have appeared. These implementations are intended also mainly for programmers but here in a conceptually higher level mathematical language than in (1). We argue that spreadsheets provide one more na... |

10 |
Prospects for Using Variable Precision Interval Software in C++ for Solving Some Contemporary Scientific Problems
- Ely
- 1990
(Show Context)
Citation Context ...ally been implemented by embedding it into programming tools that include: 1. Programming languages . Most interval arithmetic implementations such as Pascal--SC [6], Fortran--SC [5], PBasic [1], VPI =-=[12]-=- and BNR--Prolog [41] can be seen as extensions or additional libraries for various programming languages. The implementations are intended for programmers. 2. Computer algebra packages . Recently, in... |

8 |
Pascal-SC, a Computer Language for Scientific Computation
- Bohlender, Ulrich, et al.
- 1987
(Show Context)
Citation Context ...PREADSHEET Interval arithmetic has usually been implemented by embedding it into programming tools that include: 1. Programming languages . Most interval arithmetic implementations such as Pascal--SC =-=[6]-=-, Fortran--SC [5], PBasic [1], VPI [12] and BNR--Prolog [41] can be seen as extensions or additional libraries for various programming languages. The implementations are intended for programmers. 2. C... |

8 | InC++: A local interval arithmetic library
- Hyvönen, Pascale, et al.
- 1994
(Show Context)
Citation Context ...ahan [27]. Our extended IA is a full-- scale development of the idea. All interval types of table 1 can be used with interval functions. The scheme has been implemented as C++ class library LIA InC++ =-=[20]-=-. The library contains interval classes and overloads arithmetic operators and functions for them. The library covers ordinary rational, trigonometric, exponential, logarithmic and many other function... |

8 | InC++ library family for interval computations
- Hyvönen, Pascale
- 1995
(Show Context)
Citation Context ...nd can be applied to other similar systems as well. For reasons of portability, each interval extension is based on a general purpose interval arithmetic C++ class library of the InC++ library family =-=[24]-=- that has been integrated with the spreadsheet by an interface. The functionalities of the libraries can be incorporated into other spreadsheet systems by rewriting this interface only. Following chap... |

7 |
On computing the range of values
- Asaithambi, Zuhe, et al.
- 1982
(Show Context)
Citation Context ...scussed in some more detail. Numerical evaluation GIA's numerical evaluation is based on the numerical branch--and--bound (BB) search scheme introduced by Skelboe [46] and developed further by others =-=[2, 42, 43, 40]-=-. Roughly speaking, the idea is to consider argument intervals in ever smaller and more precise parts. Efficiency is gained by identifying and pruning irrelevant subintervals from consideration as ear... |

6 |
Adding interval constraints to the Moore–Skelboe global optimization algorithm
- Chen, Emden
- 1995
(Show Context)
Citation Context ...approaches to interval constraint satisfaction based on related techniques are discussed in [28, 3, 32]. Application of interval constraints in evaluating actual function value ranges is discussed in =-=[7]-=-. Interval constraint spreadsheets have several attractions when compared with ordinary spreadsheet: Interval arithmetic makes it possible to deal with inexact data and rounding errors. Infinite solut... |

6 | Interval arithmetic as a closed arithmetic system on a computer. Jet Propulsion Lab - Hanson - 1968 |

6 |
Interval Constraint Spreadsheets for Financial Planning
- Hyvönen
- 1991
(Show Context)
Citation Context ...erval constraint techniques can also support top--down problem solving in which a feasible solution is searched for by stepwise refining the variable intervals of the problem until a solution emerges =-=[16, 18]-=-. 1.4 Outline of research In this paper it is shown how interval techniques can be used for extending the usage of ordinary spreadsheets into the three directions discussed above. As a demonstration o... |

5 | InC++: A library for interval constraint equations
- Hyvönen, E, et al.
- 1994
(Show Context)
Citation Context ...roblem should not be underconInterval Computations on the Spreadsheet 31 strained. In our work, local and some global tolerance propagation algorithms have been implemented as a C++ library ICE InC++ =-=[23]-=-. By default, this system uses local propagation but individual constraints are solved globally. If desired, additional global solution functions can be generated. ICE is designed to be used as a gene... |

4 | GIA InC++: A global interval arithmetic library
- Hyvönen, Pascale
- 1994
(Show Context)
Citation Context ...lgorithms discussed in depth in [42, 43, 13]. This paper considers these techniques mainly from the practical user's view point. We proceed by presenting a global function evaluator library GIA InC++ =-=[21, 24]-=- in whose design practical issues encountered in spreadsheet--like computations have been the main concern. Figure 3 Architecture of function objects (IFunction) in GIA InC++ library. GIA provides the... |

4 | Interval constraint programming in C
- Hyvönen, Pascale, et al.
- 1994
(Show Context)
Citation Context ...tion but individual constraints are solved globally. If desired, additional global solution functions can be generated. ICE is designed to be used as a general purpose ICSP library in C++ programming =-=[26]-=-. From the programmer 's view point, it is implemented as a C++ class Ice. Objects of this class correspond to ICSPs. Communication with Ice--objects is based on simple member functions that define IC... |

4 |
The TK!Solver Book
- Konopasek, Jayaraman
- 1984
(Show Context)
Citation Context ...s input or output, can be performed by using constraint propagation techniques [47, 36]. The first spreadsheet programs using constraint propagation were released already in the early 80's. TK!Solver =-=[31]-=- was a well--known commercial implementation. In [15, 17] four major problems of numerical constraint propagation based on ordinary arithmetic were discussed: The systems cannot deal with imprecise da... |

4 | The De nition and Implementation of a Computer Programming Language Based on Constraints - Steele - 1980 |

3 |
Spreadsheets based on interval constraint satisfaction
- Hyvönen
- 1994
(Show Context)
Citation Context ...erval constraint techniques can also support top--down problem solving in which a feasible solution is searched for by stepwise refining the variable intervals of the problem until a solution emerges =-=[16, 18]-=-. 1.4 Outline of research In this paper it is shown how interval techniques can be used for extending the usage of ordinary spreadsheets into the three directions discussed above. As a demonstration o... |

3 | Evaluation of Cascaded Interval Function Constraints
- Hyvönen
- 1994
(Show Context)
Citation Context ...nternal state on. Such reuse of earlier work often dramatically shortens needed computational time. Interval Computations on the Spreadsheet 23 3.2 Global evaluation of an interval function system In =-=[19]-=- a technique is developed for evaluating a function system globally. The hearth of the technique is the simple algorithm Local--Function--Evaluation below that implements cascaded function evaluation ... |

3 | CIF InC++: A library for cascaded interval function evaluation
- Hyvönen, E
- 1994
(Show Context)
Citation Context ...e local evaluation is sufficient. 3.3 Implementation on a spreadsheet The global cascaded evaluation scheme has been implemented as a C++ library called CIF InC++ (Cascaded Interval Functions In C++) =-=[22]. The libr-=-ary provides the user with a class "Cif" for defining, maintaining, parametrizing and evaluating a function system. The main input of Cif--objects is functions and argument interval values i... |

2 |
Interval constraint spreadsheets: An implementation for MS Excel
- Hyvönen, Pascale
- 1995
(Show Context)
Citation Context ..., 37] do not make use of algebraic or global interval techniques but rely on local numerical ones. 4.3 Interval Constraint Excel As a demonstration, a version of ICE has been integrated with MS Excel =-=[25]-=-. This chapter discusses modifications that need to be made in a spreadsheet program such as MS Excel when extending it with interval constraints. Important issues are reviewed mainly from the user's ... |

2 |
A More Complete Interval Arithmetic", Lecture Notes for a Summer Course at the University ofMichigan
- Kahan
- 1968
(Show Context)
Citation Context ...te results the growth of constituent number in practise usually gets smaller. The idea of extending IA rules for the discontinuous case has been suggested probably first [13] by Hanson [14] and Kahan =-=[27]-=-. Our extended IA is a full-- scale development of the idea. All interval types of table 1 can be used with interval functions. The scheme has been implemented as C++ class library LIA InC++ [20]. The... |

2 |
Adapting CLP(R) to Floating Point Arithmetic
- Lee, Emden
- 1991
(Show Context)
Citation Context ...nd tolerance (interval) propagation techniques for determining local and, especially, stricter than local interval solutions in an efficient way. Other implementations for bounding solutions, such as =-=[41, 34, 35, 45, 3, 37]-=- do not make use of algebraic or global interval techniques but rely on local numerical ones. 4.3 Interval Constraint Excel As a demonstration, a version of ICE has been integrated with MS Excel [25].... |

2 | Computer Methods for the Range of Functions", Ellis Horwood Limited - Ratschek, Rokne - 1984 |

1 |
An Extended Interval Arithmetic Library for MS Excel
- Pascale, Hyvonen
- 1994
(Show Context)
Citation Context ...by using the macro languages and other programming devices provided by current spreadsheet products. In this chapter, an interval extension called Extended Interval Arithmetic on MS Excel (EIA Excel) =-=[11]-=- is presented. The primary goal of EIA Excel is to provide the user with a notion of interval arithmetic in as versatile form as possible. For this reason, we first review properties of the extended I... |

1 |
Spreadsheets with Subdefinite Data", Student diplom thesis
- Kornienko
- 1994
(Show Context)
Citation Context ...ch was developed into a new generalized computational paradigm for spreadsheet computing in [16, 18]. Other approaches to interval constraint satisfaction based on related techniques are discussed in =-=[28, 3, 32]-=-. Application of interval constraints in evaluating actual function value ranges is discussed in [7]. Interval constraint spreadsheets have several attractions when compared with ordinary spreadsheet:... |

1 |
New Computer Methods for Global Optimization ", Ellis Horwood Limited
- Ratschek, Rokne
- 1988
(Show Context)
Citation Context ... wide, even infinite, and the problem of extra width is strongly emphasized. In order to evaluate the actual range of an interval function in the general case, global interval optimization techniques =-=[43, 13]-=- must be employed. Another limitation of classical IA is its restricted notion of interval as a closed finite continuum of values. This may suffice when dealing with rounding error bounds. However, in... |

1 |
How Reliable are Results of Computers? / Wie Zuverlassig sind die Ergebnisse Unserer Rechenanlagen
- Rump
- 1983
(Show Context)
Citation Context ...spreadsheet situation: A1 = 10864 B1 = 18817 (1.2) C1 = 9sA14 \Gamma B14 + 2B12 When the system is evaluated by using MS Excel spreadsheet program, value C1 = 2 is obtained although the correct value =-=[44]-=- should be C1 = 1 (!). The Interval Computations on the Spreadsheet 3 problem is due to the rounding errors generated by finite precision machine arithmetic (double precision) used by the system. This... |

1 | PASCAL{SC: a Computer Language for Scienti c Computation - Bohlender, Rall, et al. - 1987 |

1 | A C++ Class Library for Extending Scienti c Computing - Klatte, Kulisch, et al. - 1993 |

1 | Spreadsheets with Subde nite Data", Student diplom thesis - Kornienko - 1994 |