MathGroup Archive 1996

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

Search the Archive

Analytica


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] ====


  • 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