axiom-developer
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]