[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] FW: [om] OpenMath and PVS
From: |
Bill Page |
Subject: |
[Axiom-math] FW: [om] OpenMath and PVS |
Date: |
Thu, 5 Feb 2004 13:46:43 -0500 |
How about PVS and Axiom?
-----Original Message-----
From: address@hidden [mailto:address@hidden On Behalf Of
Richard Fateman
Sent: Thursday, February 05, 2004 1:27 PM
To: address@hidden
Subject: [om] OpenMath and PVS
Have any of the OM activities interacted with PVS,
in particular see
http://pvs.csl.sri.com/doc/prelude.html
or for background, see the PVS home page
http://pvs.csl.sri.com/
if not, its level of formalization might be worth examining and
perhaps even adopting.
RJF
--
address@hidden - general discussion on OpenMath
- [Axiom-math] FW: [om] OpenMath and PVS,
Bill Page <=