MathGroup Archive 2012

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

Search the Archive

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


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?