Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1995
*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 1995

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

Search the Archive

Analytica Users ?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg2703] Analytica Users ?
  • From: Christian Bennefeld <bennefeld at dkrz.d400.de>
  • Date: Sat, 9 Dec 1995 01:52:48 -0500

Hi,

some month ago there was a posting about the
automated theorem prover 'Analytica' by Edmund Clarke (CMU).

Rightnow I am working on an improved version of Analytica.

I would like to get in touch with people using Analytica to
get as much user input as possible into the new version.

Even if you have no suggestions for an improvement give me
a note about how you are using Analytica - typical example
proofs are welcome !

Thanks for your response.

Christian

---
bennefeld at dkrz.de



  • Prev by Date: Partial Differential Equations in Mathematica
  • Next by Date: Re: Mathematica under WinOS/2
  • Previous by thread: Analytica Users ?
  • Next by thread: Comparison of Mathematica on Various Computers