Antti Valmari. Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator. In Beno Csapó, James Uhomoibhi, editors, Proceedings of the 13th International Conference on Computer Supported Education, CSEDU 2021, Online Streaming, April 23-25, 2021, Volume 2. pages 324-331, SCITEPRESS, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.