Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Selected Topics In Geometry With Classical Vs. Computer Proving
Jazyk
Angličtina
Angličtina
Kniha
Pevná
This textbook presents various techniques of elimination based on Grobner bases to prove well-known...
Celý popis
Libristo kód: 05068858
?
332 b
Připravujeme
332 b
Připravujeme
3 317
Kč
včetně DPH
Očekávaný dotisk
Termín neznámý
Termín neznámý
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.
Informace o knize
Plný název
Selected Topics In Geometry With Classical Vs. Computer Proving
Autor
Pavel Pech
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2007
Počet stran
252
EAN
9789812709424
ISBN
9812709428
Libristo kód
05068858
Nakladatelství
World Scientific Publishing Co Pte Ltd
Váha
488
Rozměry
163 x 231 x 18
Kategorie
