Connecting algorithmics to mathematics learning: a design study of the intermediate value theorem and the bisection algorithm. - Lagrange, Jean-Baptiste; Laval, Dominique (Educational Studies in Mathematics, 2023)