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]
@inproceedings{Valmari21, title = {Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator}, author = {Antti Valmari}, year = {2021}, doi = {10.5220/0010493103240331}, url = {https://doi.org/10.5220/0010493103240331}, researchr = {https://researchr.org/publication/Valmari21}, cites = {0}, citedby = {0}, pages = {324-331}, booktitle = {Proceedings of the 13th International Conference on Computer Supported Education, CSEDU 2021, Online Streaming, April 23-25, 2021, Volume 2}, editor = {Beno CsapĆ³ and James Uhomoibhi}, publisher = {SCITEPRESS}, isbn = {978-989-758-502-9}, }