Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

Re: Re: Redefining the minus operator

  • To: mathgroup at
  • Subject: [mg53145] Re: [mg53027] Re: Redefining the minus operator
  • From: Ben Kovitz <bkovitz at>
  • Date: Sat, 25 Dec 2004 04:00:40 -0500 (EST)
  • References: <cmkkn6$j99$> <> <cp3shr$969$> <>
  • Sender: owner-wri-mathgroup at

Paul Abbott wrote:

> I would recommend that you have a look at Theorema
> and also the work by Ronald Monson <Ronald.Monson at>, formerly 
> at
> The University of Western Australia but now at Victoria University in
> Melbourne.

Thanks, this looks fantastic!

Here's a link from an off-list email that might be of interest to 
others who'd like to use Mathematica for theorem-proving.  This is 
about Analytica, a theorem-prover for elementary analysis:

Ben Kovitz
Humboldt State University

  • Prev by Date: Re: rotating 3D graphic by the mouse
  • Next by Date: how to save selected cells to an EPS file?
  • Previous by thread: Re: Redefining the minus operator
  • Next by thread: How to evaluate Exp[I Pi(1+x)]?