Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč
Czech Post 74 Kč
Balíkovna 49 Kč
GLS point 54 Kč
Zásilkovna 44 Kč
GLS courier 74 Kč
PPL courier 99 Kč
How to shop
Help
Delivery
PPL Parcel Shop 54 Kč
Czech Post 74 Kč
Balíkovna 49 Kč
GLS point 54 Kč
Zásilkovna 44 Kč
GLS courier 74 Kč
PPL courier 99 Kč
Free delivery for purchases over 1 299 Kč
Shopping guide
We’re here for you!
571 999 090
My account
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
▸
Empty :-(
0
Selected Topics In Geometry With Classical Vs. Computer Proving
Language
English
English
Book
Hardback
This textbook presents various techniques of elimination based on Grobner bases to prove well-known...
Full description
Libristo code: 05068858
?
332 b
COMING SOON
332 b
COMING SOON
3 317
Kč
včetně DPH
Reprint
Date unknown
Date unknown
30-day return policy
You might also be interested in
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.
About the book
Full name
Selected Topics In Geometry With Classical Vs. Computer Proving
Author
Pavel Pech
Language
English
English
Binding
Book - Hardback
Date of issue
2007
Number of pages
252
EAN
9789812709424
ISBN
9812709428
Libristo code
05068858
Publishers
World Scientific Publishing Co Pte Ltd
Weight
488
Dimensions
163 x 231 x 18
Categories
