[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Provisos
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Provisos |
Date: |
Sun, 11 May 2008 19:21:15 -0500 |
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