Hwei-Shin Harriman. Edgeworth: authoring diagrammatic math problems using program mutation. In Hridesh Rajan, editor, SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17 - 22, 2021, Companion Volume. pages 22-24, ACM, 2021. [doi]
Abstract is missing.