home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18606 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  2.3 KB
  1. Xref: sparky sci.math:18606 sci.math.symbolic:3489
  2. Path: sparky!uunet!mcsun!sunic!ericom!exucom.exu.ericsson.se!texsun!cronkite.Central.Sun.COM!news2me.EBay.Sun.COM!male.EBay.Sun.COM!jethro.Corp.Sun.COM!fillorkill!scott
  3. From: scott@fillorkill.Eng.Sun.COM (Scott Boyd)
  4. Newsgroups: sci.math,sci.math.symbolic
  5. Subject: Re: Which CAS have BA's in math?
  6. Message-ID: <scott.727648403@trimtab>
  7. Date: 21 Jan 93 20:33:23 GMT
  8. References: <ARA.93Jan19123124@camelot.ai.mit.edu> <1jhjkfINN8m9@function.mps.ohio-state.edu> <1993Jan19.205434.10234@leland.Stanford.EDU>
  9. Reply-To: bobk@decide.com
  10. Distribution: sci
  11. Organization: Sun Microsystems Inc., Mountain View, CA
  12. Lines: 37
  13. NNTP-Posting-Host: fillorkill.eng.sun.com
  14.  
  15. [Posted for friend.]
  16.  
  17. ilan@leland.Stanford.EDU (ilan vardi) writes:
  18.  
  19. >In article <1jhjkfINN8m9@function.mps.ohio-state.edu> edgar@math.ohio-state.edu (Gerald Edgar) writes:
  20. >>
  21. >>I doubt there is a computer algebra system that can get a degree
  22. >>in mathematics: they don't write proofs (yet).  However, I tried the
  23.  
  24. >They write papers though. Shalosh B. Ekhad, Doron's Zeilberger's computer,
  25. >has written a number of papers (more than I have, I think).
  26.  
  27. Actually, one system written in Mathematica can do proofs (printed in
  28. TeX of course).  This system created by a couple of professors from
  29. Carnegie-Mellon can do the proof of the Wierstass continuous-nowhere
  30. differentiable function. All of the theorems from Chapter 2 of
  31. Ramanujan's collected works, properties of stereographic projections
  32. and on and on. The professors are Ed Clark and Xudong Zhao and they
  33. have an article in the current issue of the Mathematical Journal. I
  34. recommend it highly. A BA in analysis is not as far away as some might
  35. think.
  36.  
  37. Peace/Bob
  38.  
  39.  
  40. "The range of what we think and do is limited by what we | Bob Korsan
  41. fail to notice. And because we fail to notice that we    | Decisions,
  42. fail to notice there is little we can do to change until |    Decisions!
  43. we notice that failing to notice shapes our thoughts and | 2136 Lyon Ave
  44. deeds."                  --         R.D. Laing           | Belmont, CA
  45. INTERNET:bobk@Decide.COM    USENET:..!decwrl!decide!bobk |    94002-1639
  46. ATT:(415) 595-1206 (Voice)///(415) 595-1206 + 4 (FAX)    |
  47.  
  48. -- 
  49. --
  50. Scott Boyd                               scott.boyd@eng.sun.com
  51. SunSoft Inc.                             
  52.