First Page | Document Content | |
---|---|---|
Date: 2013-05-23 14:39:30Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software | professors William Farmer & Jacques Carette Mechanising mathematicsAdd to Reading ListSource URL: www.cas.mcmaster.caDownload Document from Source WebsiteFile Size: 332,71 KBShare Document on Facebook |