Publisher
Springer International Publishing
Reference31 articles.
1. Adams, W. W., & Loustaunau, P. (1994). An introduction to Grobner bases (Vol. 3). Providence, Rhode Island: American Mathematical Society.
2. Back, R. J., Mannila, L., & Wallin, S. (2010). It takes me longer, but I understand better’—Student feedback on structured derivations. International Journal of Mathematical Education in Science and Technology, 41(5), 575–593.
https://doi.org/10.1080/00207391003605221
.
3. Texts and Monographs in Symbolic Computation,1998
4. Beeson, M. (2004). The mechanization of mathematics. In C. Teuscher (Ed.), Alan Turing: Life and legacy of a great thinker (pp. 77–134). Berlin, Germany: Springer.
https://doi.org/10.1007/978-3-662-05642-4
.
5. Bernardo, G., & Carmen, B. (2009). The ambiguity of the sign
. In Proceedings of CERME6, Lyon, France, Working Group 4 (pp. 509–518).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design principles for final answer assessment in linear algebra: implications for digital testing;Teaching Mathematics and its Applications: An International Journal of the IMA;2022-03-10
2. Coherently Organized Digital Exercises and Expositions;PRIMUS;2021-12-07
3. Practical online assessment of mathematical proof;International Journal of Mathematical Education in Science and Technology;2021-03-12