University of Waterloo
To launch an organization that will compile and encode mathematical knowledge to make it more searchable, computable, linkable, checkable, and usable
Grant: University of Waterloo
/grant-detail/G-2016-7309
Stephen Watt
To launch an organization that will compile and encode mathematical knowledge to make it more searchable, computable, linkable, checkable, and usable