Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs

Research output: Contribution to conference › Paper › Research › peer-review