Elimination of Variables as a Proof Technique

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A_____%2F02%3A00004243" target="_blank" >RIV/60076658:_____/02:00004243 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Elimination of Variables as a Proof Technique

Original language description

Teorie automatického dokazování vět je užita v elementární geometrii. Běžný způsob užití této teorie spočívá v dokazání či vyvrácení nějakého tvrzení elementární geometrie. V tomto příspěvku je zdůrazněno objevování vět, čímž je myšleno hledání dodatečných předpokladů, které je nutné přidat ke geometrickému tvrzení (které obecně neplatí) tak aby dané tvrzení platilo. Hlavním prostředkem je proces eliminace proměnných. Jsou vyšetřovány některé formule z geometrie trojúhelníka a čtyřúhelníka

Czech name

—

Czech description

—

Type

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

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2002

Confidentiality

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

Name of the periodical

. Mundus Symbolicus

ISSN

1210-809X

e-ISSN

—

Volume of the periodical

10

Issue of the periodical within the volume

1

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

15

Pages from-to

5-14

UT code for WoS article

—

EID of the result in the Scopus database

—