Re: [Axiom-developer] Provisos

[Gabriel Dos Reis]

On Sun, May 11, 2008 at 8:18 PM, root <address@hidden> wrote:
> Journaling some comments made at ECCAD 2008:
>
>  Re: the symbolic-numeric panel
>
>  The question of interval computations arose during the panel discussion.
>
>  The panel discussion of intervals revolved around their numeric use.
>
>  However, it is perfectly reasonable to consider intervals symbolically.
>
>  Consider that most textbooks (assuming they bother) will write:
>
>       1
>       -              (provided x \ne 0)
>       x
>
>  Notice that this can be translated into interval notation as:
>
>       1
>       -              [x \ne 0]
>       x

Do you know how this is different from the GUARDIAN package (Reduce)
described in this ISSAC'97 paper?

     "Guarded Expressions in Practice"
      Andreas Dolzmann  and Thomas Sturm

    http://portal.acm.org/citation.cfm?id=258851

-- Gaby