Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2004
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*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 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


  • 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)]?