We chose the cK¢ model (**Balacheff**-2003) in order to describe these three conceptions of the notion of definition, because it allows a recognition of definition-construction process, ...

This point is similar to the two elements of the formal definition proposed by **Balacheff** (2000) who models a conception with a quadruplet (P, R, L, ∑) ...

... is a key issue in considering how mathematics must be reframed when placed into electronic media such as when **Balacheff** introduced the ideas of computational transposit ion (**Balacheff** ...

(**Balacheff**, 1982, p. 263) “Les raisons avancées peuv ent être discutées; refusées ou acceptées. Ainsi certaines explications sont reçues pour preuve c’est ...

Roskilde University, IMFUFA, 1993 Sierpinska A., Kilpatrick J., **Balacheff** N., Howson G., Sfard A., Steinbring H. 'What is research in Mathematics Education, ...

**Balacheff** was not referring to just the standard, more or less formal definition of mathematical proof. Rather, his question, as he puts it, ...

... Comparison of **Balacheff** and the preformalists' classifications of arguments..... 129 Table 23: Classification of arguments ...

(p. 3) Responding to **Balacheff**'s views on argumentation and proof, Boero (1999) focuses on the distinction between 'proving' as a process, that is, argumentation, and 'proof' as a product.

This sort of computer use may 'enable a deeper, more direct mathematical experience' (**Balacheff** & Kaput, 1996 p 470). In the UK there is a statutory requirement for ICT to be used in mathematics teaching and learning at all levels; ...

At the Taipei International conference on "Mathematics: Understanding Proving and Proving to Understand" Nicholas **Balacheff** (2002/2004) ...