Re: More Mathematica CAN'T do than CAN???
- To: mathgroup at smc.vnet.net
- Subject: [mg113440] Re: More Mathematica CAN'T do than CAN???
- From: "Hobbs, Sylvia (DPH)" <Sylvia.Hobbs at state.ma.us>
- Date: Thu, 28 Oct 2010 04:29:25 -0400 (EDT)
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 Bureau of Health Care Safety and Quality Massachusetts Department of Public Health Office of Emergency Medical Services 99 Chauncy Street, 11th Floor Boston MA 02111 Phone:617-753-7304 Fax: 617-753-7320 cell:781-530-6381 e-mail: sylvia.hobbs at state.ma.us<mailto:sylvia.hobbs at state.ma.us> P Please consider the environment before printing this e-mail > -----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 you= r lemma > > Mathematica and press RUN! > > [...] > > Well, there are projects in that direction... > > http://www.risc.jku.at/research/theorema/description/ > > Daniel Lichtblau > Wolfram Research