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

Motion 8.02

To: STDS-1788@xxxxxxxxxxxxxxxxx
Subject: Motion 8.02
From: Nate Hayes <nh@xxxxxxxxxxxxxxxxx>
Date: Tue, 13 Oct 2009 12:02:19 -0400
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
List-help: <http://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>
List-owner: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>
Sender: stds-1788@xxxxxxxx

Baker, P1788,

I submit the new document "Exception Handling for Interval Arithmetic" as a 
friendly amendment to Motion 8.

The document is attached as a PDF (6 pages) to facilitate its reading. Thank
you to Arnold Neumaier for his joint contributions in writing it, as well as 
P1788 members who participated in the public discussions.

Sincerely,

Nate Hayes

Attachment: Motion_8.02.pdf
Description: Adobe PDF document

Follow-Ups:
- Can Motion 8.02 support proofs of correctness?
  - From: John Pryce
- Motion P1788/M0008.02_Exception_Handling
  - From: R. Baker Kearfott

Prev by Date: Re: motion elementary functions
Next by Date: Comments on Motion P1788/M0010.01_ElementaryFunctions...
Previous by thread: Comments on Motion P1788/M0010.01_ElementaryFunctions...
Next by thread: Motion P1788/M0008.02_Exception_Handling
Index(es):
- Date
- Thread