Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

Standard

Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. / Misfeldt, Morten; Thomas Jankvist, Uffe.

Uses of Technology in Primary and Secondary Mathematics Education. red. / Lynda Ball; Paul Drijvers; Silke Ladel; Hans-Stefan Siller; Michal Tabach; Colleen Vale. Germany : Springer VS, 2018. s. 375-385.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

Harvard

Misfeldt, M & Thomas Jankvist, U 2018, Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. i L Ball, P Drijvers, S Ladel, H-S Siller, M Tabach & C Vale (red), Uses of Technology in Primary and Secondary Mathematics Education. Springer VS, Germany, s. 375-385. https://doi.org/10.1007/978-3-319-76575-4

APA

Misfeldt, M., & Thomas Jankvist, U. (2018). Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. I L. Ball, P. Drijvers, S. Ladel, H-S. Siller, M. Tabach, & C. Vale (red.), Uses of Technology in Primary and Secondary Mathematics Education (s. 375-385). Springer VS. https://doi.org/10.1007/978-3-319-76575-4

Vancouver

Misfeldt M, Thomas Jankvist U. Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. I Ball L, Drijvers P, Ladel S, Siller H-S, Tabach M, Vale C, red., Uses of Technology in Primary and Secondary Mathematics Education. Germany: Springer VS. 2018. s. 375-385 https://doi.org/10.1007/978-3-319-76575-4

Author

Misfeldt, Morten ; Thomas Jankvist, Uffe. / Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks. Uses of Technology in Primary and Secondary Mathematics Education. red. / Lynda Ball ; Paul Drijvers ; Silke Ladel ; Hans-Stefan Siller ; Michal Tabach ; Colleen Vale. Germany : Springer VS, 2018. s. 375-385

Bibtex

@inbook{61a988dd444547bca2142cd21e81af98,
title = "Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks",
abstract = "In this chapter we investigate the role of Computer Algebra Systems (CAS) in textbook proofs. We describe two cases of CAS use in textbook proofs and use the instrumental approach, and in particular the distinction between epistemic and pragmatic mediations, to understand the consequences of the so-called CAS-assisted proofs. We end with a discussion of the experienced shortcomings of the instrumental approach in relation to CAS use in justification of mathematical results, and suggest the inclusion of alternative frameworks for filling the gap.",
keywords = "proof, computer algebra system, instrumental genesis",
author = "Morten Misfeldt and {Thomas Jankvist}, Uffe",
year = "2018",
doi = "10.1007/978-3-319-76575-4",
language = "English",
isbn = "978-3-319-76574-7",
pages = "375--385",
editor = "Lynda Ball and Paul Drijvers and Silke Ladel and Hans-Stefan Siller and Michal Tabach and Colleen Vale",
booktitle = "Uses of Technology in Primary and Secondary Mathematics Education",
publisher = "Springer VS",

}

RIS

TY - CHAP

T1 - Instrumental genesis and proof: Understanding the use of computer algebra systems in proofs in textbooks

AU - Misfeldt, Morten

AU - Thomas Jankvist, Uffe

PY - 2018

Y1 - 2018

N2 - In this chapter we investigate the role of Computer Algebra Systems (CAS) in textbook proofs. We describe two cases of CAS use in textbook proofs and use the instrumental approach, and in particular the distinction between epistemic and pragmatic mediations, to understand the consequences of the so-called CAS-assisted proofs. We end with a discussion of the experienced shortcomings of the instrumental approach in relation to CAS use in justification of mathematical results, and suggest the inclusion of alternative frameworks for filling the gap.

AB - In this chapter we investigate the role of Computer Algebra Systems (CAS) in textbook proofs. We describe two cases of CAS use in textbook proofs and use the instrumental approach, and in particular the distinction between epistemic and pragmatic mediations, to understand the consequences of the so-called CAS-assisted proofs. We end with a discussion of the experienced shortcomings of the instrumental approach in relation to CAS use in justification of mathematical results, and suggest the inclusion of alternative frameworks for filling the gap.

KW - proof

KW - computer algebra system

KW - instrumental genesis

U2 - 10.1007/978-3-319-76575-4

DO - 10.1007/978-3-319-76575-4

M3 - Book chapter

SN - 978-3-319-76574-7

SP - 375

EP - 385

BT - Uses of Technology in Primary and Secondary Mathematics Education

A2 - Ball, Lynda

A2 - Drijvers, Paul

A2 - Ladel, Silke

A2 - Siller, Hans-Stefan

A2 - Tabach, Michal

A2 - Vale, Colleen

PB - Springer VS

CY - Germany

ER -

ID: 228153139