Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/103231
DC FieldValueLanguage
dc.contributor.authorQuaresma, Pedro-
dc.contributor.authorSantos, Vanda-
dc.date.accessioned2022-10-25T08:25:26Z-
dc.date.available2022-10-25T08:25:26Z-
dc.date.issued2022-02-08-
dc.identifier.issn2075-2180pt
dc.identifier.urihttps://hdl.handle.net/10316/103231-
dc.descriptionIn Proceedings ThEdu'21, arXiv:2202.02144pt
dc.description.abstractThe introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula, the lack of knowledge by the teachers about the subject and the difficulty of tackling the task by automatic means. Despite those difficulties we claim that the subject of automated deduction in geometry can be introduced, by addressing it in particular cases: simple to manipulate by students and teachers and reasonably easy to be dealt by automatic deduction tools. The subject is discussed by addressing four secondary schools geometry problems: their rigorous proofs, visual proofs, numeric proofs, algebraic formal proofs, synthetic formal proofs, or the lack of them. For these problems we discuss a lesson plan to address them with the help of Information and Communications Technology, more specifically, automated deduction tools.pt
dc.language.isoengpt
dc.relationUID/CEC/00326/2020pt
dc.relationUIDB/00194/2020pt
dc.rightsopenAccesspt
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt
dc.subjectComputer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3pt
dc.titleFour Geometry Problems to Introduce Automated Deduction in Secondary Schoolspt
dc.typearticle-
degois.publication.firstPage27pt
degois.publication.lastPage42pt
degois.publication.titleElectronic Proceedings in Theoretical Computer Science, EPTCSpt
dc.peerreviewedyespt
dc.identifier.doi10.4204/EPTCS.354.3pt
degois.publication.volume354pt
dc.date.embargo2022-02-08*
uc.date.periodoEmbargo0pt
item.fulltextCom Texto completo-
item.cerifentitytypePublications-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextopen-
item.openairetypearticle-
crisitem.author.orcid0000-0001-7728-4935-
Appears in Collections:I&D CISUC - Artigos em Revistas Internacionais
Show simple item record

SCOPUSTM   
Citations

4
checked on Feb 19, 2024

WEB OF SCIENCETM
Citations

3
checked on Feb 2, 2024

Page view(s)

27
checked on Feb 20, 2024

Download(s)

8
checked on Feb 20, 2024

Google ScholarTM

Check

Altmetric

Altmetric


This item is licensed under a Creative Commons License Creative Commons