University of Waterloo

To launch an organization that will compile and encode mathematical knowledge to make it more searchable, computable, linkable, checkable, and usable

  • Amount $125,000
  • City Waterloo, ON, Canada
  • Investigator Stephen Watt
  • Year 2016
  • Program Research
  • Sub-program
We use cookies to analyze our traffic. Please decide if you are willing to accept cookies from our website.