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 conferencePaperResearchpeer-review

Standard

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

2016.

Research output: Contribution to conferencePaperResearchpeer-review

Harvard

Misfeldt, M & Thomas Jankvist, U 2016, 'Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs'.

APA

Misfeldt, M., & Thomas Jankvist, U. (2016). Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs.

Vancouver

Misfeldt M, Thomas Jankvist U. Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs. 2016.

Author

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

Bibtex

@conference{db7d2b94c1de47ac912e011d3c8d5423,
title = "Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs",
author = "Morten Misfeldt and {Thomas Jankvist}, Uffe",
note = "null ; Conference date: 24-07-2016 Through 31-07-2016",
year = "2016",
language = "Dansk",

}

RIS

TY - CONF

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

AU - Misfeldt, Morten

AU - Thomas Jankvist, Uffe

N1 - null ; Conference date: 24-07-2016 Through 31-07-2016

PY - 2016

Y1 - 2016

M3 - Paper

ER -

ID: 231945487