"Equivalence Tasks in a Digital Algebraic Notation System Promotes ..."

Katharine Sawrey, Jenny Yun-Chen Chan, Erin Ottmar (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics