Technology to develop algebraic reasoning