coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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, 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
- Re: [Coq-Club] real numbers, Bas Spitters, 06/24/2012
- Re: [Coq-Club] real numbers, Freek Wiedijk, 06/24/2012
- Re: [Coq-Club] real numbers, Andrej Bauer, 06/24/2012
- Re: [Coq-Club] real numbers, Freek Wiedijk, 06/23/2012
- Re: [Coq-Club] real numbers, Andrej Bauer, 06/23/2012
Archive powered by MHonArc 2.6.18.