Re motion 31

["J. Wolff von Gudenberg" <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

John, Christian
    good job

I have some minor remarks

3.2.10 You identify a box as a tuple of  intervals with the Cartesian 
product of
           intervals , but then this set is \subseteq \R^n and should  
be \subseteq
            \overline{\IR^n}
the same typo is in 5.4.3

I appreciate and support your choice of elmentary functions in 
particular the pow(x,y)
version , which is slighty more restricted than what I poposed in Dagstuhl.

I propose to denote the Rev function as Inv
and to drop the rational power version from table 5

Jürgen

-- - Prof. Dr. Juergen Wolff von Gudenberg o Lehrstuhl fuer Informatik 
II / \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg InfoII o 
Tel.: +49 931 / 31 86602 Fax ../31 86603 / \ Uni 
E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx o o Wuerzburg