Toggle navigation
Home
People
Departments
Research
About
Login
Search
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
Grant
Overview
Affiliation
View All
Overview
date/time interval
April 1, 2005 - March 31, 2010
awarded by
Natural Sciences and Engineering Research Council
total award amount
CAD 115000
Affiliation
contributor
Farmer, William Michael
Funded by