Re: More Mathematica CAN'T do than CAN???
- To: mathgroup at smc.vnet.net
- Subject: [mg113446] Re: More Mathematica CAN'T do than CAN???
- From: Daniel Lichtblau <danl at wolfram.com>
- Date: Fri, 29 Oct 2010 06:27:23 -0400 (EDT)
Hobbs, Sylvia (DPH) wrote: > Thanks for the link to the work of theorema group. I'll check out the pdfs at: > > http://www.risc.jku.at/publications/index.php?group==8 > > Are you in some dungeon at the Castle of Hagenberg? Does it have WiFi? > > Sylvia D. Hobbs, MPH, Director of Research & Evaluation > [...] Not exactly a dungeon. More a Champaign cellar... Daniel Lichtblau Wolfram Research >> -----Original Message----- > >> From: Daniel Lichtblau [mailto:danl at wolfram.com] >> Sent: Wednesday, October 27, 2010 10:24 AM >> To: Hobbs, Sylvia (DPH) >> Subject: Re: [mg113414] Re: More Mathematica CAN'T do than CAN??? > >> Hobbs, Sylvia (DPH) wrote: > >>> And imagine that! Such a software as mathematical proofware, >>> select your lemma Mathematica and press RUN! >>> [...] > > >> Well, there are projects in that direction... > >> http://www.risc.jku.at/research/theorema/description/ > >> Daniel Lichtblau >> Wolfram Research