Log in

No account? Create an account
Anhinga anhinga
[Most Recent Entries] [Calendar View] [Friends View]

Thursday, November 30th, 2006

Time Event
A new generation of "mathematical assistants"?
Some interesting paper titles on the page of Calculemus'06 (13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006).

One of the authors, Simon Colton, wrote a thesis "Automated Theory Formation in Pure Mathematics", and one can read its table of contents on the Amazon site.

<< Previous Day 2006/11/30
Next Day >>
Mishka's Page   About LiveJournal.com