Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1989
*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 1989

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

Search the Archive

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



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