Artículos relacionados a Mechanical Theorem Proving in Geometries: Basic Principles...
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs In Symbolic Computation) (Texts & Monographs in Symbolic Computation) - Tapa blanda
Sinopsis
There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid’s "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti tative relations.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti tative relations.
Reseña del editor
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 35,91
EUR 26,83 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Mechanical Theorem Proving in Geometries: Basic Principles...
Imagen de archivo
Mechanical Theorem Proving in Geometries : Basic Principles
Publicado por
Springer Vienna, 1994
ISBN 10: 3211825061
ISBN 13: 9783211825068
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 927039/203
Cantidad disponible: 1 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles (Texts Monographs in Symbolic Computation)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 69O37_62_3211825061
Cantidad disponible: 1 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries
Publicado por
Springer, Springer Apr 1994, 1994
ISBN 10: 3211825061
ISBN 13: 9783211825068
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, 'The objective of mathematics is the study of space forms and quantitative relations of the real world. ' Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's 'Elements,' purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti tative relations. 308 pp. Englisch. Nº de ref. del artículo: 9783211825068
Cantidad disponible: 2 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries : Basic Principles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, 'The objective of mathematics is the study of space forms and quantitative relations of the real world. ' Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's 'Elements,' purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti tative relations. Nº de ref. del artículo: 9783211825068
Cantidad disponible: 1 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4488743
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries : Basic Principles
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: 915188-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. A translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Translator(s): Jin, X.; Wang, D. Series: Texts and Monographs in Symbolic Computation. Num Pages: 302 pages, biography. BIC Classification: PBCH; PBMS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 534. . 1994. Softcover reprint of the original 1st ed. 1994. paperback. . . . . Nº de ref. del artículo: V9783211825068
Cantidad disponible: 15 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783211825068
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783211825068
Cantidad disponible: 2 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries : Basic Principles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 915188
Cantidad disponible: 15 disponibles