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 7,67 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: Best Price, Torrance, CA, USA

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

Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780792358350

Verkäufer kontaktieren

Neu kaufen

EUR 96,30
Währung umrechnen
Versand: EUR 7,67
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 2 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 102,87
Währung umrechnen
Versand: EUR 3,41
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 104,03
Währung umrechnen
Versand: EUR 2,26
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wu Wen-tsun
ISBN 10: 079235835X ISBN 13: 9780792358350
Neu Hardcover

Anbieter: Grand Eagle Retail, Mason, OH, USA

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

Hardcover. Zustand: new. Hardcover. This collection of essays centres 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. 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. This book is a collection of essays centred around the subject of mathematical mechanization. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780792358350

Verkäufer kontaktieren

Neu kaufen

EUR 106,36
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

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

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 756288

Verkäufer kontaktieren

Gebraucht kaufen

EUR 121,72
Währung umrechnen
Versand: EUR 2,26
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,18
Währung umrechnen
Versand: EUR 13,72
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,16
Währung umrechnen
Versand: EUR 17,18
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

Foto des Verkäufers

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

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

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

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 756288

Verkäufer kontaktieren

Gebraucht kaufen

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

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 8 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen