Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving Tool
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F18%3A43898393" target="_blank" >RIV/60076658:12410/18:43898393 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/content/pdf/10.1007%2Fs11786-018-0369-x.pdf" target="_blank" >https://link.springer.com/content/pdf/10.1007%2Fs11786-018-0369-x.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11786-018-0369-x" target="_blank" >10.1007/s11786-018-0369-x</a>
Alternative languages
Result language
angličtina
Original language name
Dynamic Geometry Software Supplemented with a Computer Algebra System as a Proving Tool
Original language description
The topic of this contribution is aimed at lower and upper secondary school mathematics teaching as well as at university training of teachers of mathematics. Joint use of computer algebra (CAS) and dynamic geometry software (DGS) or even an incorporation of CAS into DGS brings new possibilities to the teaching of mathematics, such as experimentation, the modelling of real-world situations or the deriving and proving of conjectures. We will deal with all these issues and how they can be realized with the free dynamic mathematics software GeoGebra, mainly in terms of the use of its tools of automated theorem proving. Particular examples of possible ways of utilizing the methods and tools of automated theorem proving will be presented with the aim of illustrating that dynamic geometry enriched with algebraic features can contribute to the effective fulfilment of the requirements for educational proof, from a decision on the correctness of a geometric property to the modelling of real-world phenomena.
Czech name
—
Czech description
—
Classification
Type
J<sub>SC</sub> - Article in a specialist periodical, which is included in the SCOPUS database
CEP classification
—
OECD FORD branch
50301 - Education, general; including training, pedagogy, didactics [and education systems]
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Mathematics in Computer Science
ISSN
1661-8270
e-ISSN
—
Volume of the periodical
Neuveden
Issue of the periodical within the volume
04 July 2018
Country of publishing house
CH - SWITZERLAND
Number of pages
10
Pages from-to
1-10
UT code for WoS article
—
EID of the result in the Scopus database
2-s2.0-85049583270