Kód: 05068858

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: 05068858
Price: 2803.00 CZK
Availability: BackOrder
Author: Pavel Pech
ISBN: 9789812709424

Autor Pavel Pech

Jazyk: Angličtina
Vazba: Pevná
Počet stran: 252
Nakladatelství: World Scientific Publishing Co Pte Ltd, 2007
Více informací o knize

2803 Kč

Dostupnost:

50 % šance

Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.
Prohledáme celý svět

Informovat o naskladnění

Přidat mezi přání

Mohlo by se vám také líbit

Zbabělci
214 Kč
Předobjednat
Complete Chi's Sweet Home Vol. 4
412 Kč
Koupit
Harmonize 5 Teacher's Guide with Digital Pack
757 Kč
Koupit
Ätherische Öle selbst herstellen
409 Kč
Koupit
The Art Deco Adult Coloring Book
168 Kč
Koupit
Into the Water - Traue keinem. Auch nicht dir selbst.
208 Kč
Koupit
Fundamentals of Quality Control and Improvement
3537 Kč
Koupit
Songs of a lost World
856 Kč
Koupit
Work with Source
620 Kč
Koupit
Phlebology, Vein Surgery and Ultrasonography
2991 Kč
Koupit
A Grammar of the Modern Armenian Language as Spoken in Constantinople and Asia Minor
380 Kč
Koupit
Bora Bora
196 Kč
Koupit
Wooden City Puzzle Korálový útes 2v1, dřevěné, 400 dílků
490 Kč
Koupit
Wahre Geschichten aus dem Leben des angeblich toten Elvis Aaron Presley
337 Kč
Koupit
Passage: Andy Goldsworthy
897 Kč
Koupit
The Sokoki Trail (1907)
903 Kč
Koupit
Electrifying Europe
1619 Kč
Koupit
Comedy and Controversy
1682 Kč
Koupit
Mi Vida Con los Angeles = My Life with the Angels
371 Kč
Koupit
Fundamentals of Analogue and Digital Communication Systems
1958 Kč
Koupit
Then His Voice Shook the Earth ...
491 Kč
Koupit
Horror Dungeon
258 Kč
Koupit
From Monopoly to Competition
3960 Kč
Koupit
Ingenstau / Korbion, VOB Teile A und B - Kommentar (DVD)
6674 Kč
Koupit
Oxford Reading Tree: Level 6: Workbooks: Workbook 1 (Pack of 6)
658 Kč
Koupit
On the Making and Issuing of Books
685 Kč
Koupit
FAMILIA EN LA EMPRESA,LA
542 Kč
Koupit
Les Cévennes, montagne refuge et rebelle 1939-1945
444 Kč
Koupit
Hebrew Melodies: My Very First Piano Book
470 Kč
Koupit
Atteggiamenti di valore verso la matematica nei gradi 7-9
813 Kč
Koupit
NEZ PERCE JOSEPH: AN ACCOUNT OF HIS ANCE
990 Kč
Koupit
History Of The Knights Templar Of The State Of Pennsylvania ...: Prepared And Arranged From Original Papers
598 Kč
Koupit
Beginning ASP.NET 2.0 Databases
775 Kč
Koupit
Functional Representation and Democracy in the EU
1399 Kč
Koupit
Baby's First Memory Book: Baby's First Memory Book; Tractor Baby
382 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Informovat o naskladnění knihy

Zašleme vám zprávu jakmile knihu naskladníme

Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.

Více informací o knize Selected Topics In Geometry With Classical Vs. Computer Proving

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 280 bodů

Anotace knihy

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.