\documentclass[12pt]{article} \input intmacros.sty \textheight 195mm \parindent=0pt \openup 2pt \parskip 2pt plus 1pt minus 1pt \def\spc{\hspace*{0.5cm}} % indentation \def\jhull{{\raise2.25pt\hbox{\framebox[3pt]{\phantom{\tiny|}}}}} % alternative symbol for interval hull, not scalable in \LaTeX \ . %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{document} \vspace*{-2cm} \begin{center} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\LARGE\bf Standardized notation}\\[2mm] {\LARGE\bf in interval analysis}\\ \vspace{1cm} \centerline{\sl {\large \bf R. Baker Kearfott}} \bigskip \centerline{\sl Department of Mathematics, University of Louisiana at Lafayette} \centerline{\sl Box 4-1010 Lafayette, Louisiana 70504-1010, USA} \vspace{0.5cm} \centerline{\sl {\large \bf Mitsuhiro T. Nakao}} \bigskip \centerline{\sl Graduate School of Mathematics, Kyushu University 33 } \centerline{\sl Fukuoka 812, Japan } \vspace{0.5cm} \centerline{\sl {\large \bf Arnold Neumaier}} \bigskip \centerline{\sl Institut f\"ur Mathematik, Universit\"at Wien} \centerline{\sl Strudlhofgasse 4, A-1090 Wien, Austria} \vspace{0.5cm} \centerline{\sl {\large \bf Siegfried M. Rump}} \bigskip \centerline{\sl Institut f. Informatik III, Technical University Hamburg-Harburg} \centerline{\sl Schwarzenbergstrasse 95, D-21073 Hamburg, Germany} \vspace{0.5cm} \centerline{\sl {\large \bf Sergey P. Shary}} \bigskip \centerline{\sl Institute of Computational Technologies} \centerline{\sl Lavrentiev Ave., 6, Novosibirsk, 630090, Russia} \vspace{0.5cm} \centerline{\sl {\large \bf Pascal van Hentenryck}} \bigskip \centerline{\sl Dept. of Computer Science, Brown University } \centerline{\sl P.O. Box 1910, Providence, RI 02912, USA } \end{center} \vspace{0.5cm} \centerline{\today} \vspace{0.5cm} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{abstract} A standard for the notation of the most used quantities and operators in interval analysis is proposed. \end{abstract} \newpage %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Introduction} \label{In} Publications in interval analysis currently suffer from a multitude of incompatible notational styles. There are obvious advantages in having a standardized notation, especially for those peripheral to our field who only want to read an occasional paper to see whether the field offers something for the solution of their problems. It is important for the future of interval analysis to reach out to these colleagues; a standardized notation contributes to limit the burden of learning new notation to a minimum. In much of mathematics, standardization happens automatically because people use the notation introduced by the first influential papers on an issue. In interval analysis, this unfortunately did not happen. Worse, because there was no consensus in the past literature, new authors of work in interval analysis created their own notational habits, and produced further variants that added to the confusion. The time seems ripe to attempt to correct this unpleasant situation. \bigskip The purpose of this paper is to propose a standard that hopefully persuades the entire community to use it for publishing their work. Emphasis is on easy usage and easy comprehensibility. To facilitate the acceptance of the standard, a \LaTeX \ style file is provided \cite{intmacros} that makes it easy to create documents conforming to the standard. The proposed standard is based on the following guiding lines: The notation should blend seamlessly with traditional notation in mathematics, in particular numerical analysis and optimization. It should also result in formulas that look as simple as possible, while conveying the meaning clearly even to readers not working in the field. And it should create a minimal burden in preparing manuscripts for authors wanting to conform to the standard. In particular, standardization is restricted to the most basic aspects of interval terminology. We hope that the suggested notation will appear persuasive to authors in interval analysis and its applications, convincing them that using it is likely to improve the communication of ideas in interval analysis to colleagues and potential users. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Standard notation} \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\bf Noninterval quantities.} General recommendations on the mathematical style are in the authoritative {\it Handbook of Writing for the Mathematical Sciences} by {\sc Higham} \cite{Hig.writing}. In order for the notation to be consistent with traditional usage in other fields of mathematics, in particular optimization and numerical analysis, letters defining scalars and vectors should be lower case, and those defining matrices should be upper case. Sets should be capitals not in bold, unless they are intervals or boxes (see below). Similarly, letters denoting scalar-valued functions should be lower case, and letters denoting vector-valued functions should be upper case. {\footnotesize \it\spc Upper case vector-valued functions are advisable because these are nonlinear operators, generalizations of linear operators and matrices. This is the dominant usage, cf., e.g., {\sc Ortega \& Rheinboldt} \cite[p. 20]{OrtR}, {\sc Dennis \& Schnabel} \cite{DenS}, although not universally followed (e.g., {\sc Nocedal \& Wright} \cite{NocW} use lower case). } Arithmetic {\em expressions} are formulas (or more general programs) composed of a finite sequence of operations and elementary functions applied to constants, the components of an argument vector, or intermediate results. Letters denoting expressions should be sansserif lower case for scalar results, and sansserif upper case for vector results. Expressions are evaluated on arguments of a given class using class specific operations and elementary functions. {\footnotesize \it\spc A notational distinction of arithmetic expressions and the function they represent is important because equivalent expressions give different results when evaluated in nonstandard (e.g., floating point) arithmetic. This has been blurred in the past, sometimes leading to confusion, especially for people outside interval analysis who are likely to interpret $f([-1,1])$ as the image of $[-1,1]$ under $f$; $\mathsf f([-1,1])$ specifies it as the result of applying the operations in $\mathsf f$ to the interval $[-1,1]$ in its intrinsic arithmetic. The sloppy usage of ``the function $f(x)=x^2-x+1$'' is accepted in mathematics, but is discouraged and should be replaced by either ``the expression $\mathsf f(x)=x^2-x+1$'' or ``the function $f$ defined by $f(x)=x^2-x+1$ for all $x\in\Rz$'', depending on the intended usage: The first form emphasizes the syntactic form to be used for evaluation and is defined for all arguments for which the operations are defined, while the second form emphasizes the mapping aspect and has no meaning with a nonreal argument. } Given a list $x$ of arguments, the sublist consisting of components $x_k$ with indices $k$ in a subset $K$ of indices is denoted by $x_K$, and the complementary sublist by $x_{\not\in K}$, or by $x_{\ne k}$ if $K=\{k\}$; the ordering is that of the natural ordering of the index set. If $\mathsf f$ is an expression in $x$ then \[ \mathsf f(x_K,y_{\not\in K}):=\mathsf f(z),~~~ z_k=\cases{ x_k&if $k\in K$, \cr y_k&if $k\not\in K$, } \] denotes the value of $\mathsf f$ at the argument with components in $K$ taken from $x$ and the others taken from $y$. Similarly, $\mathsf f(x_k,y_{\ne k})$ denotes the value of $\mathsf f$ at the argument with components $k$ taken from $x$ and the others taken from $y$. {\footnotesize \it\spc This is the simplest of various notations used in some versions of slopes, and in constraint propagation for slicing, where some arguments in an expression are intervals, and others are components of centers or endpoints of intervals. } \bigskip $\Rz$ denotes the field of real numbers, $\Rz^n$ the vector space of column vectors of length $n$ with real entries, and $\Rz^{m\times n}$ the vector space of $m \times n$-matrices with real coefficients. {\footnotesize \it\spc This is the standard notation in numerical analysis; cf. {\sc Golub \& van Loan} \cite{GolvL}, {\sc Higham} \cite{Hig}, {\sc Neumaier} \cite{Neu.num}. In optimization, it is usually avoided to refer explicitly to a space of matrices but if it occurs, such as in {\sc Nocedal \& Wright} \cite[p. 255]{NocW}, the above notation is used there, too. } It is recommended to write $S\subseteq S'$ if $S$ is a subset of $S'$, and to avoid the use of the ambiguous symbol $\subset$. {\footnotesize \it\spc To say unambiguously that $S$ is a proper subset of $S'$ (rarely needed in our field), it is best to use words, or $S\subseteq S'$, $S\ne S'$. } The interior of a subset $S \subseteq\Rz^n$ is denoted by $\iint S$, the boundary by $\partial S$. The convex hull (closed convex hull) of a set $S$ is denoted by $\ch S$ ($\cch S$). {\footnotesize \it\spc Note that the above includes the possibility of writing $\iint(S)$, $\ch(S)$, etc., where appropriate. } The relations $=,<,\le,>,\ge$ between vectors or matrices, and the supremum $\sup S$ and infimum $\inf S$ of a set $S$ of vectors or matrices are interpreted componentwise. {\footnotesize \it\spc This conforms with standard usage in lattice theory, and is essential in arguments based on the theory of nonnegative matrices, M-matrices, and H-matrices, where vectors with all components $>0$ figure prominently. } The transpose of a vector $x$ (a matrix $A$) is written as $x^T$ ($A^T$). The transposed inverse of a nonsingular square matrix $A$ is denoted by \[ A^{-T}=(A^T)^{-1}=(A^{-1})^T. \] {\footnotesize \it\spc Using $x^T$ and $A^T$ is standard in numerical analysis and optimization. The notation $A^{-T}$ is now also frequently used in numerical analysis and very convenient. Many pure mathematicians prefer $x^\top$, $A^\top$, and statisticians (and Matlab) use $x'$, $A'$; our choice is guided by the closeness of interval analysis to numerical analysis and optimization. } Components of a matrix $A$ are denoted by $A_{ik}$ (preferably) or $a_{ik}$ (if done consistently); the $i$th row of $A$ is denoted by $A_{i:}$, and the $k$th column by $A_{:k}$. \[ \diag(A)=(A_{11},\dots,A_{nn})^T \] denotes the diagonal of a square matrix $A$, $\Diag(a)=\Diag(a_1,\dots,a_n)$ the diagonal matrix with diagonal entries $a_k$, and $\Diag(A)=\Diag(\diag(A))$ the diagonal part of $A$. {\footnotesize \it\spc This is a compromise between mathematical notation and Matlab notation, consistent with traditional notation. } There is no common notation in mathematics for the identity matrix; numerical analysts usually use $I$; other authors use $E$ or $Id$. Many mathematicians use $1$ as the unit in any ring and hence also in the ring of matrices, and this has its advantages. Our recommendation is to use $I$, and $1$ in contexts where $I$ is used as an index set. The preferred (but not the only useful) norm in interval computations is the maximum norm, $\|x\|_\infty=\max_k |x_k|$; in papers where $\|x\|$ shall denote a distinguished norm, it should be defined so explicitly in the paper. \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\bf Intervals and boxes.} A {\em box} of dimension $n$ is a pair $\x=[\ul x,\ol x]$ consisting of two real column vectors $\ul x$ and $\ol x$ of length $n$ with $\ul x\le\ol x$. The set of all boxes of dimension $n$ is denoted by $\Iz\Rz^n$. {\footnotesize \it\spc $\Iz\Rz^n$ has been used in four recent books, {\sc Neumaier} \cite{Neu.int,Neu.num}, {\sc Kearfott} \cite{Kea}, {\sc Jaulin} et al. \cite{Jau}. Boldface for intervals is in \cite{Kea,Neu.num}; \cite{Neu.int} did not distinguish between reals and intervals notationally; \cite{Jau} used $\x$ for real vectors and $[\x]$ for interval vectors, which seems unnecessarily complicated, given that mathematicians do not specially mark vectors; \cite{Kea} used capital boldface letters for interval vectors, with the disadvantage that formulas of linear algebra have a different appearance when written for intervals. } A box $\x$ is generally identified with the (nonempty) set of points between its lower and upper bound, \[ \x=\{x\in \Rz^n \mid \ul x\le x\le\ol x\}, \] so that a vector $x\in\Rz^n$ is {\em contained} in a box $\x$, i.e., $x\in\x$, iff $\ul x\le x\le\ol x$. Similarly, a {\em thin} box $\x=[x,x]$ (i.e., a box of zero width) is usually identified with the unique point $x$ it contains. A generic (arbitrary) point in a box $\x$ is often denoted by $x$ or $\tilde x$. The set of vertices of a box $\x$ (or more generally a polytope $S$) is denoted by $\ivert \x$ ($\ivert S$). We write $\inf \x:=\ul x$ for the {\em lower bound}, $\sup \x:=\ol x$ for the {\em upper bound}, and $\dim x=n$ for the dimension of $\x$. The {\em width} of a box $\x$ is \[ \wid \x=\ol x-\ul x\ge 0; \] its {\em radius} is \[ \rad \x=\frac{1}{2}\wid \x=\frac{1}{2}(\ol x-\ul x), \] and its {\em midpoint} is \[ \imid \x=\frac{1}{2}(\ol x+\ul x). \] {\footnotesize \it\spc % $\wid$ instead of {\rm wid} improves the understandability for % outsiders, and does little harm; elsewhere we also use $\range$ % and not {\rm ran}. $\check x$ was reserved for the midpoint in \cite{Neu.int}, but is elsewhere used more generally for a {\em center}, i.e., a representative point (not necessarily the midpoint) used in centered forms. } A (real, closed, nonempty) {\em interval} is a 1-dimensional box, i.e., a pair $\x=[\ul x,\ol x]$ consisting of two real numbers $\ul x$ and $\ol x$ with $\ul x\le\ol x$. The set of all intervals is denoted by $\Iz\Rz$. A box $\x$ may be considered as an {\em interval vector} $\x=(\x_1,\dots,\x_n)^T$ with {\em components} $\x_k=[\ul x_k,\ol x_k]$. For example, if $\ul x = {1 \choose 3}$ and $\ol x = {2 \choose 4}$ then $\x = {[1,2]\choose [3,4]}$. The {\em deviation} of an interval $\x$ is the real number $\dev\x$ defined by $\dev\x=\ul x$ if $|\ul x|\ge|\ol x|$, and $\dev\x=\ol x$ otherwise. The {\em mignitude} of an interval $\x$ is the number \[ \langle\x\rangle=\min\{|x| \mid x\in\x\}. \] {\footnotesize \it\spc Using $<\x>$ for the mignitude would make formulas more difficult to interpret, especially if used together with inequality signs. } The interval-valued {\em absolute value function} is defined on intervals by \[ \abs(\x)=\{|x| \mid x\in\x\}, \] The {\em absolute value} of a box $\x$ is the real vector \[ |\x|=\max\{|x| \mid x\in\x\} =\sup\{-\ul x,\ol x\}. \] In particular, \[ \abs(\x)=[\langle\x\rangle,|\x|]~~~\mbox{ for intervals } \x. \] The vector valued hypermetric between $\x$ and $\y$ is denoted by \[ \dist(\x,\y)=\sup\{|\ul x-\ul y|,|\ol x-\ol y|\}; \] the Hausdorff distance between two boxes $\x$ and $\y$ in the metric given by the maximum norm is then \[ \dist_\infty(\x,\y)=\|\dist(\x,\y)\|_\infty, \] and similarly for other specific norms. {\footnotesize \it\spc \cite{Neu.int} used the traditional $q(\x,\y)$ for $\dist(\x,\y)$, which is less easy to understand. } \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\bf Interval matrices.} An $m\times n$ {\em interval matrix} is a $m\times n$ matrix $\A$ whose entries $\A_{jk}=[\ul A_{jk},\ol A_{jk}]$ ($j=1,\dots, m,~k=1,\dots,n$) are intervals. An interval matrix $\A$ is generally identified with the (nonempty) set of matrices $A$ with $A_{jk}\in\A_{jk}$ for all $j,k$, equivalently with $\ul A\le A\le \ol A$. The notation for boxes is adapted to interval matrices in the natural componentwise way. An exception is the mignitude, which is undefined for non-square matrices, and becomes the {\em comparison matrix} $\langle\A\rangle$ of a square matrix $\A$, defined as the matrix with diagonal components $\langle\A\rangle_{kk}=\langle\A_{kk}\rangle$ and off-diagonal components $\langle\A\rangle_{jk}=-|\A_{jk}|$ for $j\ne k$. {\footnotesize \it\spc This is needed for consistent usage in the context of H-matrices; see {\sc Neumaier} \cite[Chapter 3]{Neu.int}. $\langle\A\rangle$ is undefined for matrices that are not square and for vectors of length $>1$. } \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\bf Operations and expressions.} A relation $\x\omega\y$ (with $\omega\in\{=,<,\le,>,\ge\}$ between two boxes $\x$ and $\y$ is defined to be true iff $x\omega y$ for all $x\in\x,y\in\y$. {\footnotesize \it\spc This is the traditional, oldest interpretation, and is established. Of course, other interpretations are possible but should be designated differently. For example, the statement ``$x\omega y$ for {\it some} $x\in\x,y\in\y$'' could perhaps be denoted by $\x\omega^*\y$; but this should be defined in each paper using it. } Operations (and elementary functions) are automatically interpreted as the natural operations on the class of objects involved; i.e., real for real (vector, matrix) arguments, interval if an argument is interval (vector, matrix). In case of finite precision arithmetic, interval operations are assumed outward rounded. In case of conflicting interpretations (exact vs. rounded, or interval versus set operations), the recommended notation is $\fl(${\tt expression}$)$ for the floating point evaluation of an explicitly given expression {\tt expression}, $\fl_\Delta(${\tt expression}$)$ and $\fl_\nabla(${\tt expression}$)$ for upward and downward directed rounding, respectively, $\flint(${\tt expression}$)$ for the outward rounded interval evaluation, and $\set(${\tt expression}$)$ for the set (Minkowski) evaluation. {\footnotesize \it\spc $\fl(${\tt expression}$)$ is commonly used in numerical analysis, and generalizes naturally in the form stated. } Since expressions define unique functions from (part of) $\Iz\Rz$ to $\Iz\Rz$, other functions from $\Iz\Rz$ to $\Iz\Rz$ may also be written in bold if desired. The image of a set $S$ under a mapping $f$ (which equals the range of $f$ for arguments in $S$) is denoted by \[ \range (f,S)=\{f(x)\mid x\in S\}, \] and the range of an expression $\mathsf f$ over a box $\x$ is \[ \range (\mathsf f,\x)=\{\mathsf f(x)\mid x\in\x\}. \] {\footnotesize \it\spc The use of $f(S)$ for the image of $S$ under $f$ is discouraged since, for boxes $S=\x$, a confusion with an interval evaluation may occur. Alternatives such as $\range_{x \in S} f(x)$ formed in analogy to the use of $\min$ or $\lim$ are acceptable. } The interval hull of a set $S$ is denoted by $\ihull S$, and the interval evaluation of an expression $\mathsf f$ is $\mathsf f(\x)$, so that $\range(\mathsf f,\x) \subseteq \mathsf f(\x)$. {\footnotesize \it\spc {\normalsize \rm $\jhull S$} is a much-used alternative symbol for interval hull, but has the disatvantage that its \LaTeX \ definition does not adapt to different fonts and sizes. } \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {\bf Generalizations of intervals.} Complex intervals exist either as rectangles or as disks. If only one sort of complex intervals is used, the set of such intervals should be denoted by $\Iz\Cz$, otherwise use $\Iz\Czr$ for the set of complex rectangles and $\Iz\Czd$ for the set of complex discs. An {\em extended box} of dimension $n$ is either the empty set $\x=\emptyset$, or a pair $\x=[\ul x,\ol x]$ consisting of two column vectors $\ul x\in(\Rz\cup\{-\infty\})^n$ and $\ol x\in(\Rz\cup\{\infty\})^n$ with $\ul x\le\ol x$. ${}^*\Iz\Rz^n$ denotes the set of extended boxes of dimension $n$. An {\em extended interval} is an extended box of dimension 1. {\sc Kaucher} \cite{Kau,Kau2} completed interval arithmetic by introducing anti-intervals where the upper bound is smaller than the lower bound, and converse operations to the standard interval arithmetic operations. In particular, we have {\em inner} addition and {\em inner} subtraction, \[ \x\oplus\y=[\ul x+\ol y,\ol x+\ul y],~~~ \x\ominus\y=[\ul x-\ul y,\ol x-\ol y], \] and more compicated formulas for inner multiplication $\odot$ and inner division $\oslash$. The support of the resulting algebraic system --- {\em Kaucher complete interval arithmetic} --- consisting of both intervals and anti-intervals is denoted by $\Kz\Rz$. {\footnotesize \it\spc Kaucher's notation $\Iz\Rz$ conflicts with the later consensus usage of this for the set of intervals. } All notation for intervals and boxes is extended to these generalizations in a straightforward way. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{The {\tt intmacros.sty} style file} To facilitate the acceptance of the proposed standard, a \LaTeX \ style file is provided \cite{intmacros} (together with the \LaTeX \ source of the present paper as an example of its use) that makes it easy to create documents conforming to the standard. The style file is designed to keep the \LaTeX \ notation for intervals as simple as possible. The style file uses {\tt $\backslash$a} for $\a$, {\tt $\backslash$A} for $\A$, etc., to denote bold face (i.e., interval) quantities. This notation is very short and quite convenient; even on the blackboard, {\tt $\backslash$A} is better than $[A]$ since it is shorter, and can be read naturally as ``{\it interval $A$}''. {\tt $\backslash$mathsf f} gives the sansserif letter $\mathsf f$, etc., denoting an expression. The style file uses {\tt $\backslash$Rz} for $\Rz$, and similarly for other open-faced upper case letters. {\tt $\backslash$ul x} and {\tt $\backslash$ol x} encode the lower bound $\ul x$ and the upper bound $\ol x$ of $\x$. In some cases, the existence of already frequently used macros prevented the natural name for an abbreviation, and we modified it according to the annotation in the style file. For example, both {\tt $\backslash$vert} and {\tt $\backslash$Vert} are reserved in \LaTeX \ for single and double vertical lines, respectively. So, the vertex set gets the abbreviation {\tt $\backslash$ivert} instead of {\tt $\backslash$vert}. Similarly, the interior is typed as {\tt $\backslash$iint} instead of {\tt $\backslash$int}, the midpoint as {\tt $\backslash$imid} instead of {\tt $\backslash$mid}, an interval or box $\ii$ is typed as {\tt $\backslash$ii} instead of {\tt $\backslash$i}, $\vv$ as {\tt $\backslash$vv} instead of {\tt $\backslash$v}, and an interval matrix $\DD$ as {\tt $\backslash$DD} instead of {\tt $\backslash$D}. \bigskip %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{thebibliography}{99} \bibitem{DenS} J.E. Dennis and R.B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations, Prentice-Hall, Englewood Cliffs, N.J., 1983. \bibitem{GolvL} G.H. Golub and C.F. van Loan, Matrix Computations, 2nd ed., Johns Hopkins Univ. Press, Baltimore 1989. \bibitem{Hig.writing} N.J. Higham, Handbook of Writing for the Mathematical Sciences, SIAM, Philadelphia 1993. \bibitem{Hig} N.J. Higham, Accuracy and Stability of Numerical Algorithms, SIAM, Philadelphia 1996. \bibitem{intmacros} Notation in Interval Analysis.\\ \verb|http://www.mat.univie.ac.at/~neum/software/int| \bibitem{Jau} L. Jaulin, M. Kieffer, O. Didrit and E. Walter, Applied Interval Analysis, Springer, London, 2001. \bibitem{Kau} E. Kaucher, Algebraische Erweiterungen der Intervallrechnung unter Erhaltung Ord\-nungs- und Verbandsstrukturen, {\it Computing Supplement}, {\bf 1} (1977), pp.~65--79. \bibitem{Kau2} E. Kaucher, Interval analysis in the extended interval space $\Iz\Rz$, {\it Computing Supplement}, {\bf 2} (1980), pp.~33--49. \bibitem{Kea} R.B. Kearfott, Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht, 1996. \bibitem{Neu.int} A. Neumaier, Interval Methods for Systems of Equations, Cambridge Univ. Press, Cambridge, 1990. \bibitem{Neu.num} A. Neumaier, Introduction to Numerical Analysis, Cambridge Univ. Press, Cambridge, 2001. \bibitem{NocW} J. Nocedal and S.J. Wright, Numerical Optimization, Springer Series in Operations Research, Springer, Berlin 1999. \bibitem{OrtR} J.M. Ortega and W.C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables, Classics in Applied Mathematics 30, SIAM, Philadelphia 2000. \end{thebibliography} \end {document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Subject: Interval notation standard - submission for Reliable Computing Dear Slava, Baker Kearfott, Mitsuhiro Nakao, Siegfried Rump, Sergey Shary, Pascal van Hentenryck and I reached a consensus on a proposal for an interval notation standard, presented in the attached manuscript. We want to submit it for publication in Reliable Computing. Simultaneously and independently, we suggest that (after acceptance of the paper) the editors of Reliable Computing vote to adopt it as strongly recommended guideline for publication in Reliable Computing, and that this decision is publicized, together with the description of the standard in our paper and a LaTeX style file. We recommend that all this is placed on the Reliable Computing web page, on Vladik's interval web server, and on the Reliable Computing mailing list. A suitable web page has been prepared at http://www.mat.univie.ac.at/~neum/software/int . We are confident that if Reliable Computing endorses such an agreement by publishing this agreement, strongly recommending it for publication in their journal, and asking the referee's of submissions to Reliable Computing to check for their compliance with the standard, most people would follow this agreement. Best wishes, Arnold