MathGroup Archive 1996

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

Search the Archive


  • To: mathgroup at
  • Subject: [mg4407] Analytica
  • From: Jacques Fleuriot <jdf21 at>
  • Date: Fri, 19 Jul 1996 04:16:50 -0400
  • Organization:
  • Sender: owner-wri-mathgroup at

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. 




  • Prev by Date: Principal Component Analysys
  • Next by Date: Re: Is there a bug in FIT?
  • Previous by thread: Principal Component Analysys
  • Next by thread: Help with ParametricPlot3D in color