anhinga_anhinga (
anhinga_anhinga) wrote2006-11-30 03:55 pm
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Entry tags:
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.
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.
no subject
no subject