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

Re: Re: Redefining the minus operator

• To: mathgroup at smc.vnet.net
• Subject: [mg53145] Re: [mg53027] Re: Redefining the minus operator
• From: Ben Kovitz <bkovitz at acm.org>
• Date: Sat, 25 Dec 2004 04:00:40 -0500 (EST)
• References: <cmkkn6$j99$1@smc.vnet.net> <200411080813.DAA07948@smc.vnet.net> <cp3shr$969$1@smc.vnet.net> <200412201134.GAA02649@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

Paul Abbott wrote:

> I would recommend that you have a look at Theorema
>
>   http://www.risc.uni-linz.ac.at/people/buchberg/theorema_project.html
>
> and also the work by Ronald Monson <Ronald.Monson at vu.edu.au>, 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:

  http://library.wolfram.com/infocenter/Articles/3152/

Ben Kovitz
Humboldt State University

• References:
  • Re: Redefining the minus operator
    • From: Paul Abbott <paul@physics.uwa.edu.au>