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 53,49
EUR 11,99 gastos de envío desde Alemania 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 | Seiten: 308 | 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
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Used. pp. 310 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 7163525
Cantidad disponible: 1 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: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4488743
Cantidad disponible: Más de 20 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
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 310. Nº de ref. del artículo: 261765722
Cantidad disponible: 4 disponibles
Imagen del vendedor
Mechanical Theorem Proving in Geometries
Publicado por
Springer Vienna, Springer Vienna Apr 1994, 1994
ISBN 10: 3211825061
ISBN 13: 9783211825068
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch. Nº de ref. del artículo: 9783211825068
Cantidad disponible: 1 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)
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: ria9783211825068_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries: Basic Principles
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1st edition. 288 pages. 9.40x6.50x0.60 inches. In Stock. Nº de ref. del artículo: x-3211825061
Cantidad disponible: 2 disponibles
Imagen de archivo
Mechanical Theorem Proving in Geometries
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 310. Nº de ref. del artículo: 181765712
Cantidad disponible: 4 disponibles