This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n18http://purl.org/net/nknouf/ns/bibtex#
n6http://localhost/temp/predkladatel/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/subjekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A12410%2F12%3A43884464%21RIV13-MSM-12410___/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F60076658%3A12410%2F12%3A43884464%21RIV13-MSM-12410___
rdf:type
n10:Vysledek skos:Concept
dcterms: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 use of 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. 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 use of 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.
dcterms:title
How integration of DGS and CAS helps to solve problems in geometry How integration of DGS and CAS helps to solve problems in geometry
skos:prefLabel
How integration of DGS and CAS helps to solve problems in geometry How integration of DGS and CAS helps to solve problems in geometry
skos:notation
RIV/60076658:12410/12:43884464!RIV13-MSM-12410___
n10:predkladatel
n11:orjk%3A12410
n3:aktivita
n12:S
n3:aktivity
S
n3:dodaniDat
n19:2013
n3:domaciTvurceVysledku
n7:6370950
n3:druhVysledku
n17:D
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
139679
n3:idVysledku
RIV/60076658:12410/12:43884464
n3:jazykVysledku
n16:eng
n3:klicovaSlova
integration of DGS, solving problems, automated theorem proving
n3:klicoveSlovo
n9:integration%20of%20DGS n9:solving%20problems n9:automated%20theorem%20proving
n3:kontrolniKodProRIV
[750CDC161147]
n3:mistoKonaniAkce
Bangkok, Thajsko
n3:mistoVydani
Bangkok, Thajsko
n3:nazevZdroje
Proceedings of the 17th ATCM 2012
n3:obor
n13:AM
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n19:2012
n3:tvurceVysledku
Pech, Pavel
n3:typAkce
n20:WRD
n3:zahajeniAkce
2012-12-16+01:00
s:numberOfPages
15
n18:hasPublisher
Suan Sunandha Rajabhat University Bangkok
n21:isbn
978-0-9821164-4-9
n6:organizacniJednotka
12410