Menu
Menu

Menu do Portal GEPEMA

Computer Assisted Proofs and Automated Methods in Mathematics Education

Artigo2023

Thierry Noah Dana-Picard

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)

0 visualizações desta ficha 0 acessos ao texto completo Contagem real do Portal desde 25/09/2026; tráfego comum, sem testes; quem desativa o rastreamento no navegador não é contado.

Resumo

This survey paper is an expanded version of an invited keynote at the ThEdu'22 workshop, August 2022, in Haifa (Israel). After a short introduction on the developments of CAS, DGS and other useful technologies, we show implications in Mathematics Education, and in the broader frame of STEAM Education. In particular, we discuss the transformation of Mathematics Education into exploration-discovery-conjecture-proof scheme, avoiding usage as a black box . This scheme fits well into the so-called 4 C's of 21st Century Education. Communication and Collaboration are emphasized not only between humans, but also between machines, and between man and machine. Specific characteristics of the outputs enhance the need of Critical Thinking. The usage of automated commands for exploration and discovery is discussed, with mention of limitations where they exist. We illustrate the topic with examples from parametric integrals (describing a "cognitive neighborhood" of a mathematical notion), plane geometry, and the study of plane curves (envelopes, isoptic curves). Some of the examples are fully worked out, others are explained and references are given.

Dados da obra

Tipo
Artigo
Periódico
Electronic Proceedings in Theoretical Computer Science, v. 375, p. 2-23
Editora
Open Publishing Association
Ano
2023 (2023-03-09)
Idioma
en
Palavras-chave
computer algebra systems; dynamic geometry software; automated theorem proving; STEAM education; critical thinking; human-machine collaboration; parametric integrals; plane geometry; plane curves; envelopes
Temas
Álgebra, Cálculo, Geometria, Tecnologias Digitais
DOI
10.4204/eptcs.375.2
ISSN
2075-2180
Licença
cc-by
Acesso
Download disponível
Fontes
OpenAlex
Na Biblioteca desde
01/10/2026 · verificada em 03/10/2026

Como citar

ABNT
DANA-PICARD, Thierry Noah. Computer Assisted Proofs and Automated Methods in Mathematics Education. Electronic Proceedings in Theoretical Computer Science, v. 375, p. 2-23, 2023. DOI: https://doi.org/10.4204/eptcs.375.2.

APA

Dana-Picard, T. N. (2023). Computer Assisted Proofs and Automated Methods in Mathematics Education. Electronic Proceedings in Theoretical Computer Science, 375, 2-23. https://doi.org/10.4204/eptcs.375.2

BibTeX
@article{danapicard2023,
  author = {Dana-Picard, Thierry Noah},
  title = {Computer Assisted Proofs and Automated Methods in Mathematics Education},
  year = {2023},
  journal = {Electronic Proceedings in Theoretical Computer Science},
  volume = {375},
  pages = {2-23},
  publisher = {Open Publishing Association},
  doi = {10.4204/eptcs.375.2},
  language = {en}
}
RIS
TY  - JOUR
AU  - Dana-Picard, Thierry Noah
TI  - Computer Assisted Proofs and Automated Methods in Mathematics Education
PY  - 2023
JO  - Electronic Proceedings in Theoretical Computer Science
VL  - 375
SP  - 2
EP  - 23
DO  - 10.4204/eptcs.375.2
LA  - en
ER  -

Referência gerada automaticamente a partir dos metadados das fontes; confira com o documento original. Baixar BibTeX · Baixar RIS

Obras relacionadas

Obras do acervo corrente com mais temas em comum.

Acessibilidade

As escolhas valem em todas as páginas internas e ficam só neste navegador. Atalho: tecla de acesso 5.

Perfis rápidos

Ajustes

Sobre a acessibilidade do Portal