Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1996
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1996

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

Search the Archive

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


  • 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