How integration of DGS and CAS helps to solve problems in geometry

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F12%3A43884464" target="_blank" >RIV/60076658:12410/12:43884464 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

How integration of DGS and CAS helps to solve problems in geometry

Original language description

The use of dynamic geometry systems (DGS) and computer algebra systems (CAS) changed teaching geometry at all school levels considerably. To solve a problem students first visualize it by DGS then by changing parameters the problem is interactively modified and geometry properties like invariant points, lines, circles etc. are recognized. Using these knowledge a conjecture is stated and classically proved or disproved. But sometimes we do not have a key idea to find a proof (or the locus). Then the useof CAS can help. By the theory of automated geometry theorem proving we are able to prove many such theorems. Thus the integration of DGS and CAS is useful and helps to solve problems. This approach is demonstrated in a few examples of geometry in a plane and space.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

AM - Pedagogy and education

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2012

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the 17th ATCM 2012

ISBN

978-0-9821164-4-9

ISSN

—

e-ISSN

—

Number of pages

15

Pages from-to

48 - 62

Publisher name

Suan Sunandha Rajabhat University Bangkok

Place of publication

Bangkok, Thajsko

Event location

Bangkok, Thajsko

Event date

Dec 16, 2012

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—