November 2017 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Nov 28 05:43:09 PST 2017
Ending: Tue Nov 28 05:43:09 PST 2017
Messages: 1

• [Numeric-interest] New book: Computer Arithmetic and Formal Proofs   Sylvie Boldo

Last message date: Tue Nov 28 05:43:09 PST 2017
Archived on: Tue Nov 28 05:47:12 PST 2017

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...