[Date Index] [Thread Index] [Author Index]

Analytica

• To: mathgroup at smc.vnet.net
• Subject: [mg4407] Analytica
• From: Jacques Fleuriot <jdf21 at cl.cam.ac.uk>
• Date: Fri, 19 Jul 1996 04:16:50 -0400
• Organization: cl.cam.ac.uk
• Sender: owner-wri-mathgroup at wolfram.com

Hi all,

-I've been trying to get my hands on Analytica,
the Mathematica theorem prover written by Clarke and Zhao 
at CMU, but to no avail. Does anyone know where I
could get a version of this TP? Please Mail me if possible.

Any help appreciated. Thanks. 

Jacques.

----

==== [MESSAGE SEPARATOR] ====