Publications
Export 2 results:
Author Title Type [ Year
] Filters: Author is François, Karen and First Letter Of Title is L [Clear All Filters]
. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” . Foundations of the Formal Sciences: 61–90.
. 2007. “Learning Concepts Through The History Of Mathematics: The Case Of Symbolic Algebra.” . Philosophical dimensions in mathematics education: 83–103.
