anhinga_anhinga (anhinga_anhinga) wrote,
anhinga_anhinga
anhinga_anhinga

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.
Tags: advanced software, math
Subscribe
  • Post a new comment

    Error

    default userpic

    Your reply will be screened

  • 2 comments