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

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.