Formally verified mathematics.

Jeremy Avigad John Harrison

Published in: Commun. ACM (2014)

Keyphrases

computer science
computer algebra
case study
decision making
cooperative
middle school students
computer assisted learning