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>
- Re: Redefining the minus operator