Articoli correlati a Mathematics Mechanization: Mechanical Geometry Theorem-Provi...
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving: 489 - Rilegato
Sinossi
This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.
The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples.
Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preface. Part I: Historical Developments. 1. Polynomial Equations-Solving in Ancient Times, Mainly in Ancient China. 2. Historical Development of Geometry Theorem-Proving and Geometry Problem-Solving in Ancient Times. Part II: Principles and Methods. 3. Algebraic Varieties as Zero-Sets and Characteristic-Set Method. 4. Some Topics in Computer Algebra. 5. Some Topics in Computational Algebraic Geometry. Part III: Applications and Examples. 6. Applications to Polynomial Equations-Solving. 7. Applications to Geometry Theorem-Proving. 8. Diverse Applications. Bibliography. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Edition...
Visualizza questo articolo
EUR 44,91
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Mathematics Mechanization: Mechanical Geometry Theorem-Provi...
Foto dell'editore
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathem
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo F-885-155
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematics Mechanization
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious. The book i. Codice articolo 5968956
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 756288-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematics Mechanization
Editore:
Springer Netherlands, Springer Netherlands Apr 2001, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples.Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch. Codice articolo 9780792358350
Quantità: 1 disponibili
Foto dell'editore
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792358350_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Editore:
Springer Netherlands, Springer Netherlands, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics. Codice articolo 9780792358350
Quantità: 1 disponibili
Foto dell'editore
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 756288-n
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 783. Codice articolo C9780792358350
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematics Mechanization
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 436. Codice articolo 26556839
Quantità: 4 disponibili
Foto dell'editore
Mathematics Mechanization
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 436 Illus. Codice articolo 8372472
Quantità: 4 disponibili