On Sun, May 11, 2008 at 8:18 PM, root <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
