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

 
9780792358350: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving: 489 (Mathematics and Its Applications)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

Gebraucht kaufen

Zustand: Gut bis sehr gut
Ancien livre de bibliothèque. Edition...
Diesen Artikel anzeigen

EUR 22,50 für den Versand von Frankreich nach USA

Versandziele, Kosten & Dauer

EUR 3,38 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Suchergebnisse für Mathematics Mechanization: Mechanical Geometry Theorem-Provi...

Beispielbild für diese ISBN

Wu Wen-tsun
Verlag: Springer, 2000
ISBN 10: 079235835X ISBN 13: 9780792358350
Gebraucht Hardcover

Anbieter: Ammareal, Morangis, Frankreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 44,91
Währung umrechnen
Versand: EUR 22,50
Von Frankreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu Wen-tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190183334

Verkäufer kontaktieren

Neu kaufen

EUR 101,92
Währung umrechnen
Versand: EUR 3,38
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Wu, Wen-Tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 756288-n

Verkäufer kontaktieren

Neu kaufen

EUR 103,08
Währung umrechnen
Versand: EUR 2,23
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu Wen-tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9780792358350_new

Verkäufer kontaktieren

Neu kaufen

EUR 115,09
Währung umrechnen
Versand: EUR 13,71
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu, Wen-Tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 756288-n

Verkäufer kontaktieren

Neu kaufen

EUR 115,08
Währung umrechnen
Versand: EUR 17,17
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Wu Wen-tsun
Verlag: Springer Netherlands, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 92,27
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wen-Tsun Wu Wen-Tsun Wu Wen-Tsun Wen-Tsun Wu
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 436. Bestandsnummer des Verkäufers 26556839

Verkäufer kontaktieren

Neu kaufen

EUR 144,88
Währung umrechnen
Versand: EUR 3,38
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wen Tsun Wu
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover
Print-on-Demand

Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 783. Bestandsnummer des Verkäufers C9780792358350

Verkäufer kontaktieren

Neu kaufen

EUR 136,28
Währung umrechnen
Versand: EUR 16,69
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu Wen-Tsun Wen-Tsun Wen-Tsun Wu Wu Wen-Tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Print on Demand pp. 436 Illus. Bestandsnummer des Verkäufers 8372472

Verkäufer kontaktieren

Neu kaufen

EUR 150,04
Währung umrechnen
Versand: EUR 7,44
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu Wen-Tsun Wen-Tsun Wen-Tsun Wu Wu Wen-Tsun
Verlag: Springer, 2001
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND pp. 436. Bestandsnummer des Verkäufers 18556845

Verkäufer kontaktieren

Neu kaufen

EUR 155,41
Währung umrechnen
Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 6 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen