Investigation of loci in dynamic geometric environment

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F17%3A43896554" target="_blank" >RIV/60076658:12410/17:43896554 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Investigation of loci in dynamic geometric environment

Popis výsledku v původním jazyce

A classical problem in plane geometry consists of searching for the path of a point, that is subject to given constraints. Except for the most simple loci such as lines, circles or possibly conics, this topic is not contained in most geometry texts. The reason might be difficulties when visualizing various objects with different movements. The use of dynamic geometry software (DGS) considerably facilitates the loci investigation. Whereas in the past the study of loci by DGS was based on numerical methods, now we are facing the introduction of symbolic methods based on the theory of automated theorem proving into DGS. The result is the implicit equation of the locus. In the text a few concrete examples are given.

Název v anglickém jazyce

Investigation of loci in dynamic geometric environment

Popis výsledku anglicky

A classical problem in plane geometry consists of searching for the path of a point, that is subject to given constraints. Except for the most simple loci such as lines, circles or possibly conics, this topic is not contained in most geometry texts. The reason might be difficulties when visualizing various objects with different movements. The use of dynamic geometry software (DGS) considerably facilitates the loci investigation. Whereas in the past the study of loci by DGS was based on numerical methods, now we are facing the introduction of symbolic methods based on the theory of automated theorem proving into DGS. The result is the implicit equation of the locus. In the text a few concrete examples are given.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of the Slovak-Czech Conference on Geometry and Graphics

ISBN

978-80-86843-57-5

ISSN

—

e-ISSN

neuvedeno

Počet stran výsledku

12

Strana od-do

13-25

Název nakladatele

Vydavatelský servis, Plzeň 2017

Místo vydání

Plzeň

Místo konání akce

Vršatské Podhradie, Slovensko

Datum konání akce

11. 9. 2017

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—