Verwandte Artikel zu Mathematics Mechanization: Mechanical Geometry Theorem-Provi...
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving: 489 (Mathematics and Its Applications) - Hardcover
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2001
- ISBN 10 079235835X
- ISBN 13 9780792358350
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten436
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Edition...
Diesen Artikel anzeigen
EUR 46,33
EUR 8,50 für den Versand von Frankreich nach USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 107,62
EUR 3,57 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Mathematics Mechanization: Mechanical Geometry Theorem-Provi...
Beispielbild für diese ISBN
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathem
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers F-885-155
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Anbieter: Grey Matter Books, Hadley, MA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: As New. Like new hardcover, tan boards, bright white pages, very crisp and tight binding, clean all around. Bestandsnummer des Verkäufers 003883
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190183334
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780792358350_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematics Mechanization
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: 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. Bestandsnummer des Verkäufers 5968956
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Verlag:
Springer Netherlands, Springer Netherlands, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Neu
Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: 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. Bestandsnummer des Verkäufers 9780792358350
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 783. Bestandsnummer des Verkäufers C9780792358350
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 436 Illus. Bestandsnummer des Verkäufers 8372472
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Mathematics Mechanization
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 436. Bestandsnummer des Verkäufers 18556845
Anzahl: 4 verfügbar
Foto des Verkäufers
Mathematics Mechanization
Verlag:
Springer Netherlands Apr 2001, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Neu
Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 436 pp. Englisch. Bestandsnummer des Verkäufers 9780792358350
Anzahl: 2 verfügbar