Work In Progress Seminar: Emily Riehl
288 GilmanEmily Riehl, Johns Hopkins "Psychological and sociological aspects of computer formalizations vs traditional pen-and-paper mathematics"
Emily Riehl, Johns Hopkins "Psychological and sociological aspects of computer formalizations vs traditional pen-and-paper mathematics"