Don Monroe: A new type of mathematics? (2014) journals/cacm/Monroe14 10.1145/2557446 Q56588454 A new type of mathematics? 1 Don Monroe 1 13-15 Commun. ACM Commun. ACM 57 2 2014