Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: Motion M0034.01 -- Notations

See also the text that I sent originally to the list

-----Original Message-----
From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of John Pryce
Sent: Tuesday, June 05, 2012 3:26 AM
To: Nate Hayes; stds-1788
Subject: Re: Motion M0034.01 -- Notations

Nate and all

On 4 Jun 2012, at 15:14, Nate Hayes wrote:
> I would vote yes if the "I"s were solid Bold font instead of the Blackboard
> Bold font...

It is a problem (i.e. it's probably impossible) to find a notation for all these different kinds of "IR" that: is concise; is expressive (e.g. acts as an operator where needed); makes clear visual distinction between different kinds; and is amenable to handwriting on paper or blackboard. 

It may cause less hassle if the "flavors" idea extends to notation. So the set-based intervals part and the modal/Kaucher intervals part of the standard can use slightly different notation, but must of course define it exactly.

Svetoslav, you also voted no. Would such a scheme lessen your objections?

> The semantic theorems of modal interval analysis generalize the Fundamental
> Theorem of Interval Arithmetic ...

Nate, is there ANYWHERE that proofs of these theorems are available? Can we put them on our web site? Or are they jealously guarded by the Gardenes group? I've asked before.

John

Attachment: modal.pdf
Description: modal.pdf