MathGroup Archive 1989

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

Search the Archive

Re: Mathematica Problem


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



  • Prev by Date: Mathematica Problem
  • Next by Date: Two problems
  • Previous by thread: Mathematica Problem
  • Next by thread: Two problems