For the past decade, philosophers of mathematical practice have examined the nature and function of proofs in mathematical practice, most often in mathematical research practice. More recently they have examined how mathematicians assess and get to know a proof not just by reading it, but through active engagement with the proof. For example,…

The article discusses three empirical examples of Computer Algebra System (CAS) use in a Danish upper secondary school mathematics class that had experienced a recent change of teacher. All examples lead to didactical problems surrounding the situation and unclear expectations between teacher and students, involving loss of students' mathematical…

To rule out the need for a two-parameter item response theory (IRT) model during item analysis by Rasch models, it is important to check the Rasch model's assumption that all items have the same item discrimination. Biserial and polyserial correlation coefficients measuring the association between items and restscores are often used in an informal…

Formal requests were recently introduced for integration of ICT in secondary school mathematics. As the main issue, students must develop competence to decide when and how it is appropriate to use available ICT tools and to use them. These new requests put demands on those teachers who have not developed corresponding competencies themselves.…