Automated Derivation of Geometry Theorems

Result code in IS VaVaI

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Automated Derivation of Geometry Theorems

Original language description

Derivation of geometry theorems by computer belongs to mighty tools of automated theorem proving. By elimination of suitable variables in the system of algebraic equations describing a geometric situation we get required formulas. The power of derivationis presented on computation of the area of planar polygons given by their lengths of sides and diagonals. This part we conclude with derivation of a formula of Robbins for the area of a cyclic pentagon given by its side lengths. Searching for loci of points of given properties is a special case of derivation. We demonstrate it in a few examples.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

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ů

Name of the periodical

Electronic Journal of Mathematics and Technology

ISSN

1933-2823

e-ISSN

—

Volume of the periodical

6

Issue of the periodical within the volume

1

Country of publishing house

US - UNITED STATES

Number of pages

21

Pages from-to

54 - 74

UT code for WoS article

—

EID of the result in the Scopus database

—