Damas Beites, Patrícia, Maria Cecília Rosas Pereira Peixoto da Costa, and Maria Luísa Frazão Rodrigues Branco. “Proof Schemes for Linear Algebra With Logical Value True”. Revista Latinoamericana de Investigación en Matemática Educativa 23, no. 1 (March 20, 2020). Accessed September 5, 2026. https://www.relime.org/index.php/relime/article/view/42.