Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] real numbers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] real numbers


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page