Joya Cetina, C. A. .; Suárez Sotomonte, P. Formalización Del Teorema Del Seno a Partir De La Exploración De Un Ambiente De Geometría Dinámica. vyc 2019, 4, 79-98.