Re: Mathematica Problem

*Subject*: Re: Mathematica Problem*From*: dooley at ernie.Berkeley.EDU*Date*: Mon, 19 Jun 89 23:22:16 -0500*Apparently-to*: mathgroup-out at yoda.ncsa.uiuc.edu

Considering the following result proven by Mathematica, I wonder exactly how useful a proof like the one you describe would be. Mathematica (as well as any other of the popular computer algebra systems) is not a proof system; it merely answers your questions. Sam Dooley dooley at ernie.Berkeley.EDU IBM RT PC AIX Mathematica 1.1 (September 29, 1988) [With pre-loaded data] by S. Wolfram, D. Grayson, R. Maeder, H. Cejtin, S. Omohundro, D. Ballman and J. Keiper Copyright 1988 Wolfram Research Inc. -- Terminal graphics initialized -- In[1]:= Sin[x] ^ 2 == 1 - Cos[x] ^ 2 2 2 Out[1]= Sin[x] == 1 - Cos[x] In[2]:= Series[%, {x, 0, 5}] 4 2 2 False x 6 Out[2]= True + 2 False x - ---------- + O[x] 3