Exploring Human-Computer Interaction in Mathematics: From Voevodsky's Univalent Foundations of Mathematics to Mochizuki's IUT-Theoretic Proof of the ABC Conjecture.

Yoshihiro Maruyama

Browse the full HCI paper archive.