A pluralist approach to the formalisation of mathematics.

Robin Adams Zhaohui Luo

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

formal analysis
computer science
information systems
learning environment
legal reasoning
computer assisted learning
mathematics education
data sets
machine learning
relational databases
management system
grade students
mathematical knowledge