coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] real numbers

From: Andrej Bauer <andrej.bauer AT andrej.com>
To: Freek Wiedijk <freek AT cs.ru.nl>
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 22:08:15 +0200

>>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.

I'll count Mathematica in when they tell me how it works.

With kind regards,

Andrej

[Coq-Club] real numbers, Vladimir Voevodsky, 06/23/2012
- Re: [Coq-Club] real numbers, Jonas Oberhauser, 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