All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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