[Axiom-math] Axiom and mathweb

[Bill Page]

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