coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] real numbers

From: Freek Wiedijk <freek AT cs.ru.nl>
To: Andrej Bauer <andrej.bauer AT andrej.com>
Cc: Vladimir Voevodsky <vladimir AT ias.edu>, Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] real numbers
Date: Sat, 23 Jun 2012 21:07:09 +0200

Andrej:

>and quite likely the fastest one around,

Actually I got the impression that Mathematica is faster.
See page 14 of <http://www.cs.ru.nl/~freek/pubs/comp_rep.pdf>,
and look at the red "ones" in the table on pages 17.

Freek

[Coq-Club] real numbers, Vladimir Voevodsky, 06/23/2012
- Re: [Coq-Club] real numbers, Andrej Bauer, 06/23/2012
  - Re: [Coq-Club] real numbers, Freek Wiedijk, 06/23/2012
    - Re: [Coq-Club] real numbers, Andrej Bauer, 06/23/2012
      - Re: [Coq-Club] real numbers, Freek Wiedijk, 06/23/2012
        
        Re: [Coq-Club] real numbers, Andrej Bauer, 06/23/2012
  - Re: [Coq-Club] real numbers, Vladimir Voevodsky, 06/24/2012
    - Re: [Coq-Club] real numbers, Andrej Bauer, 06/24/2012
      - Re: [Coq-Club] real numbers, Freek Wiedijk, 06/24/2012
        
        Re: [Coq-Club] real numbers, Bas Spitters, 06/24/2012
        
        Re: [Coq-Club] real numbers, Freek Wiedijk, 06/24/2012