Interaccionar con un programa de construcción matemática. Yves Paquelier — 1999 Gaceta de la Real Sociedad Matemática Española