[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] Axiom and mathweb
From: |
Bill Page |
Subject: |
[Axiom-math] Axiom and mathweb |
Date: |
Fri, 6 Feb 2004 16:00:13 -0500 |
See about MathWeb here
http://www.mathweb.org/
and especially
http://www.mathweb.org/mathweb/services.html
I think it would be great if Axiom was included in the
list along with
Computer Algebra systems: (use them online)
Maple, Gap, Magma, CoCoA
Regards,
Bill Page.
-----Original Message-----
From: address@hidden [mailto:address@hidden
On Behalf Of Juergen Zimmer
Sent: Friday, February 06, 2004 12:43 PM
To: address@hidden
Subject: [om] OM + PVS
Andrew Adams and I worked on integrating a fully-automatic
version of PVS into the MathWeb Software Bus. Our MathWeb
service also accepts OpenMath for the formulas. Unfortunately,
we haven't written anything down until now...
Ask Andrew if you are interested.
"Andrew A. Adams " <address@hidden>
Cheers
Jürgen