Selected Topics In Geometry With Classical Vs. Computer Proving

Name: Selected Topics In Geometry With Classical Vs. Computer Proving
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789812709424
Price: 117.59 EUR
Availability: InStock

Autor: Pavel Pech

Jazyk:

Väzba: Pevná

Vydavateľ: World Scientific Publishing Co Pte Ltd

Dostupnosť: 50 % šanca

Prehľadáme celý svet

117.59 €

This textbook presents various techniques of elimination based on Grobner bases to prove well-known...

Informácie o knihe

Autor

Pavel Pech

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2007

Stránok

252

EAN

9789812709424

ISBN

9812709428

Enbook ID

05068858

Vydavateľ

World Scientific Publishing Co Pte Ltd

Hmotnosť

488

Rozmery

163 x 231 x 18

Kompletný popis

This textbook presents various techniques of elimination based on Grobner bases 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 easily be done with a ruler and compass. Each problem is firstly solved by the method of automatic theorem proving. Secondly, problems are solved classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Selected Topics In Geometry With Classical Vs. Computer Proving

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež