Pavel Pech
SELECTED TOPICS IN GEOMETRY WITH CLASSICAL VS. COMPUTER PROVING
Gebonden Engels 2007 9789812709424Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
This textbook 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 a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.
Specificaties
ISBN13:9789812709424
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:252
Uitgever:World Scientific Publishing Co Pte Ltd
Thema:
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Automatic Theorem Proving; Generalization of the Formula of Heron; Simson-Wallace Theorem; Transversals in a Polygon; Petr-Douglas-Neumann's Theorem; Geometric Inequalities; Regular Polygons.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan