Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Offerta imperdibile
Selected Topics In Geometry With Classical Vs. Computer Proving - Pavel Pech - cover
Selected Topics In Geometry With Classical Vs. Computer Proving - Pavel Pech - cover
Dati e Statistiche
Wishlist Salvato in 0 liste dei desideri
Selected Topics In Geometry With Classical Vs. Computer Proving
Disponibilità in 4/5 settimane
97,04 €
-10% 107,82 €
97,04 € 107,82 € -10%
Disp. in 4/5 settimane
Chiudi

Altre offerte vendute e spedite dai nostri venditori

Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-10% 107,82 € 97,04 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-10% 107,82 € 97,04 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
Chiudi
ibs
Chiudi

Tutti i formati ed edizioni

Chiudi
Selected Topics In Geometry With Classical Vs. Computer Proving - Pavel Pech - cover
Chiudi

Promo attive (0)

Descrizione


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

Dettagli

2007
Hardback
252 p.
Testo in English
9789812709424
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore