Registered user since Thu 10 Jul 2014

Name: Jacques Carette

Country: Canada

Affiliation: McMaster University

Personal website: http://www.cas.mcmaster.ca/~carette

Research interests: Mechanized Mathematics, metaprogramming, symbolic computation, machine learning, game design

Contributions