Re: Mathematica Publication Question
- To: mathgroup at smc.vnet.net
- Subject: [mg25069] Re: Mathematica Publication Question
- From: Stephen Speicher <sjs at compbio.caltech.edu>
- Date: Thu, 7 Sep 2000 22:28:11 -0400 (EDT)
- Organization: California Institute of Technology, Pasadena
- References: <8ov0b2$9kr@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
On 3 Sep 2000, Stephen Speicher wrote: > On a physics newsgroup, the following was written: > > "Recently a mathematician submitted a classic problem > to Mathematica, one thought to have no closed-form > solution. After churning away for eight hours, the > program created a publishable result. When he > published the result, the mathematician in question > courageously admitted how he acquired it." > > I personally asked the author for documentation of this, but he > was unable to recall the source. Does anyone have some facts > about this, or about a similar use of Mathematica? > To be clear here, I'm not asking about work such as McCune's EQP proof of the Robbins conjuecture, for which Mathematica was later used to better understand and visualize the proof. The assertion quoted above is for Mathematica itself to have solved a "classic problem" for which no closed-form solution" was known. Stephen sjs at compbio.caltech.edu You can always tell a pioneer by the arrows in his back. Printed using 100% recycled electrons. --------------------------------------------------------