Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

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

Search the Archive

Re: Mathematica Prove[...] Command Possible?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg127965] Re: Mathematica Prove[...] Command Possible?
  • From: magma <maderri2 at gmail.com>
  • Date: Thu, 6 Sep 2012 04:12:34 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-newout@smc.vnet.net
  • Delivered-to: mathgroup-newsend@smc.vnet.net
  • References: <k1s9t5$ogb$1@smc.vnet.net> <k1v5pa$58n$1@smc.vnet.net>

> > I have always been curious if Mathematica has ever considered a Prove command?

>
> See:
>
> http://www.risc.jku.at/research/theorema/description/
>
> Daniel

As Daniel just pointed out, Theorema is the package you are looking
for. It is in my opinion the BEST automatic theorem prover
available...anywhere. The new upcoming version 2.0 promises to be
spectacular! The current version 1.6 only works with Mathematica up to version
7. In addition to the link above, posted by Daniel, you can look also
at:
http://www.risc.jku.at/research/theorema/software/




  • Prev by Date: Re: How can I use FindMaximum to get a result better than
  • Next by Date: Re: A new FrontEnd
  • Previous by thread: Re: Mathematica Prove[...] Command Possible?
  • Next by thread: Re: Mathematica Prove[...] Command Possible?