Artículos relacionados a 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) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 92,27
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Mathematics Mechanization: Mechanical Geometry Theorem-Provi...
Imagen de archivo
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathem
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: F-885-155
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Librería: Grey Matter Books, Hadley, MA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: As New. Like new hardcover, tan boards, bright white pages, very crisp and tight binding, clean all around. Nº de ref. del artículo: 003883
Cantidad disponible: 1 disponibles
Imagen del vendedor
Mathematics Mechanization
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 5968956
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780792358350_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 756288-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Publicado por
Springer Netherlands, Springer Netherlands, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9780792358350
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 756288-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mathematics Mechanization
Publicado por
Springer Netherlands, Springer Netherlands Apr 2001, 2001
ISBN 10: 079235835X
ISBN 13: 9780792358350
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9780792358350
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
Impresión bajo demandaLibrería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 783. Nº de ref. del artículo: C9780792358350
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematics Mechanization
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 436. Nº de ref. del artículo: 26556839
Cantidad disponible: 4 disponibles