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: 46921 HUF
Availability: InStock

Szerző: Pavel Pech

Nyelv:

Kötés: Kemény kötésű

Kiadó: World Scientific Publishing Co Pte Ltd

Elérhetőség: 50 % esély

Keressük az egész világon

46 921 Ft

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

Információk a könyvről

Szerző

Pavel Pech

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2007

oldal

252

EAN

9789812709424

ISBN

9812709428

Enbook ID

05068858

Kiadó

World Scientific Publishing Co Pte Ltd

Súly

488

Méretek

163 x 231 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Selected Topics In Geometry With Classical Vs. Computer Proving

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták