Automatic theorem proving and discovery by means of computer
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A_____%2F02%3A00004241" target="_blank" >RIV/60076658:_____/02:00004241 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Automatické dokazování a objevování vět pomocí počítače
Original language description
V předloženém článku je kladen důraz na objevování tvrzení. Objevování tvrzení je vedeno dvěma směry. Jeden směr vede k objevování tvrzení např. užitím prosté eliminace proměnných. Druhý přístup je komplikovanější. Je prezentována metoda, pomocí níž jsouk daným předpokladům nalézány dodatečné podmínky tak, aby dané tvrzení platilo. Metoda je též vhodná pro užití středních školách a v přípravě učitelů matematiky
Czech name
Automatické dokazování a objevování vět pomocí počítače
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
8. setkání učitelů matematiky všech typů a stupňů škol
ISBN
80-7040-596-1
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
235-240
Publisher name
JČMF Praha
Place of publication
Praha
Event location
Prachatice
Event date
Jan 1, 2002
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—