Autoria

Thierry Noah Dana-Picard

1 obra na Biblioteca

Sem ORCID nas fontes: homônimos só são reunidos quando há coautoria ou afiliação em comum.

Obras na Biblioteca

Artigo 2023 Inglês

Computer Assisted Proofs and Automated Methods in Mathematics Education

Thierry Noah Dana-Picard

Electronic Proceedings in Theoretical Computer Science, v. 375 · DOI 10.4204/eptcs.375.2
Download disponível Baixar PDF na fonte: Computer Assisted Proofs and Automated Methods in Mathematics Education (abre em nova aba) Acessar texto completo: Computer Assisted Proofs and Automated Methods in Mathematics Education (abre em nova aba)