Selected Topics in Geometry with Classical vs. Computer Proving
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F07%3A00010612" target="_blank" >RIV/60076658:12410/07:00010612 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Selected Topics in Geometry with Classical vs. Computer Proving
Original language description
The book presents various automatic techniques based on Grőbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects ? which cannot be easily done with ruler and compass.
Czech name
—
Czech description
—
Classification
Type
B - Specialist book
CEP classification
AM - Pedagogy and education
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2007
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
ISBN
978-981-270-942-4
Number of pages
240
Publisher name
World Scientific Publishing
Place of publication
Singapore
UT code for WoS book
—