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
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
