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