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

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

• To: mathgroup at smc.vnet.net
• Subject: [mg127995] Re: Mathematica Prove[...] Command Possible?
• From: amzoti <amzoti at gmail.com>
• Date: Fri, 7 Sep 2012 05:00:10 -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> <k29m6u$aap$1@smc.vnet.net>

On Thursday, September 6, 2012 1:18:41 AM UTC-7, magma wrote:
> > > 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/

Excellent, I am looking forward to seeing and using that!

Will it be able to do all of these as well?

http://www.amazon.com/Mechanical-Geometry-Theorem-Mathematics-Applications/dp/9027726507

Thanks ~A