[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [RealClosure]
From: |
Bill Page |
Subject: |
[Axiom-developer] [RealClosure] |
Date: |
Mon, 13 Jun 2005 13:15:13 -0500 |
Changes http://page.axiom-developer.org/zope/mathaction/RealClosure/diff
--
--removed:
-http://www-calfor.lip6.fr/~rr/reclos_frisco.pdf
-
??changed:
-Renaud Rioboo::
-
- Laboratoire d'Informatique de Paris 6
- Universit Pierre et Marie Curie
- 4 Place Jussieu
- F-75252 Paris CEDEX 05
Renaud Rioboo::
LIP6 Case 168, Thème SPI
Universtité Pierre et Marie Curie
4 Place Jussieu
F-75252 Paris CEDEX 05
Tel : +33 1 4427 3341
Fax : +33 1 4427 4042
mailto:address@hidden
??changed:
-http://page.axiom-developer.org/zope/Plone/refs/articles/axiom-field.pdf
http://www-calfor.lip6.fr/~rr/
Axiom Software
- http://ftp.lip6.fr/lip6/softs/formel/Axiom/RealClosures
- http://www-calfor.lip6.fr/~rr/HDR/reclos_frisco.pdf
- http://page.axiom-developer.org/zope/Plone/refs/articles/axiom-field.pdf
??changed:
-Renaud Rioboo::
-
- LITP - Boite 168
- Institut Blaise Pascal
- Universtit� Pierre et Marie Curie
- 4 Place Jussieu
- F-75252 PARIS CEDEX 05
- e-mail: address@hidden
Related Papers
- "Infinitesimals and real
closure":http://www.lip6.fr/fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=185
- "Polymorphic Data Types, Objects, Modules and Functors: is it
too.much.?":http://www.lip6.fr/fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=139
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [RealClosure],
Bill Page <=