Mathematica 9 is now available
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: [mg127927] Re: Mathematica Prove[...] Command Possible?
  • From: Richard Fateman <fateman at cs.berkeley.edu>
  • Date: Sun, 2 Sep 2012 04:34:22 -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>

On 8/31/2012 11:27 PM, amzoti wrote:
> Hello,
>
> I have always been curious if Mathematica has ever considered a Prove command?

For background on using computers in proofs and other matters, see
www.mkm-ig.org/

Only the people at WRI could tell if they have ever considered an XXX 
command.






  • Prev by Date: Re: Getting the Derivative of an HoldForm Expression
  • Next by Date: Re: Is there documentation of the format of a "sound object"
  • Previous by thread: Re: Command Possible?
  • Next by thread: Re: Mathematica Prove[...] Command Possible?