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

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