[FOM] Talk on Formal Verification

[martdowd at aol.com]

Colin McLarty writes:
 


What kind of measures are known for the use of computation in research math?

 

 

 http://www.ams.org/notices/200709/tx070901122p.pdf
is a good example of computers in mathematics.  The authors ended up using the computational facilities that they could scrounge up.  For me at least this is typical; I'ld like to have a bigger computer.  A single PC can't "increase n by 1", etc.

- Martin Dowd



-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160130/8f86f51d/attachment.html>