Code: 05064599

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Name: Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Brand: World Scientific Publishing Co Pte Ltd
SKU: 05064599
Price: 181.26 EUR
Availability: BackOrder
Author: Shang-Ching Chou
ISBN: 9789810215842

by Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang

Language: English
Binding: Hardback
Number of pages: 480
Publisher: World Scientific Publishing Co Pte Ltd, 1994
More about this

181.26 €

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Gravity Falls Journal 3
15.60 € -27 %
Buy
Signed, Picpus
11.69 € -24 %
Buy
Make It Ours
19.80 € -29 %
Buy
He's Just Not That into You
13.90 € -25 %
Buy
Conversational Arabic Quick and Easy: Algerian Arabic Dialect, Darja, Darija, Maghreb, Algeria, Colloquial Arabic
13.10 € -6 %
Buy
Temporary Anchorage Devices in Clinical Orthodontics
278.80 €
Buy
Scat
10.69 € -24 %
Buy
Riviera Set
14.80 € -24 %
Buy
Proof in Geometry
7.79 € -24 %
Buy
Lonely Planet Kids How Trains Work 1
13.90 € -25 %
Buy
DIGITAL ORTHODONTICS
70.32 € -14 %
Buy
Mariposas heladas
14.20 €
Buy
Art and Life of Chaz Bojorquez
51.21 €
Buy
National Geographic Kids Ultimate Space Atlas
10.29 € -25 %
Buy
Čepice WEDNESDAY Gorro Braid
18.20 € -16 %
Buy
Jazyková mapa: slovensko-španělská - obecná
5.69 € -6 %
Buy
The Iron Claw
13.60 € -9 %
Buy
Happiness Unveiled
9.99 € -2 %
Buy
La dislalia : naturaleza, diagnóstico y rehabilitación
20.30 €
Buy
F*ck Off Squad: Remastered Edition
19.80 € -9 %
Buy
Leather Maiden. Gauklersommer, englische Ausgabe
13.80 € -17 %
Buy
Le Probleme Du Style: Questions D'Art, De Litterature Et De Grammaire (1902)
28.90 € -1 %
Buy
Internetauftritte deutscher politischer Parteien 2002 und 2008
59.01 €
Buy
Micro Mechanical Transducers
273.40 €
Buy
Scribal Secrets
34.40 € -24 %
Buy
Chickpea blight (A.rabiei): Production of phytotoxins and defence genes
49.21 € -3 %
Buy
Decibelia A2+ (Cómic)
10.89 € -10 %
Buy
Starve The Beast!: Reining in an Out-of-Control Government
18.10 € -7 %
Buy
Don't Forget Your Mental Health
10.49 € -25 %
Buy
Barrierefreie Navigation
49.21 €
Buy
Theophraste, Les Causes Des Phenomenes Vegetaux. Tome II: Livre III Et IV
68.32 €
Buy
Writings of Anthony Trollope Volume 3
36.90 € -1 %
Buy
Theorie Des Lois Politiques de la Monarchie Francaise. Tome 3
32.20 €
Buy
El Amor
19.30 €
Buy
Testimonios de cargo : guía para ciudadanos y policías
30.90 €
Buy
Arab Family Studies
70.02 €
Buy
Oxford Studies in Metaethics, Volume 7
196.47 €
Buy
Iphone 6 & 6 Plus c'est facile
15.20 €
Buy
Dreifach Mathe - Baden-Württemberg - 8. Schuljahr
21 €
Buy
Самоучитель шахматной игры
10.49 € -12 %
Buy
Scriptum Quo Ostenditur, Quomodo Verba Coenae Dominicae Sacramentarii involvant
29.10 €
Buy
When Traitors Rise
14.70 € -1 %
Buy
Globalization of Anthropology
30.80 €
Buy
How Places Make Us
42.91 €
Buy
Islamic Reform in South Asia
112.04 € -15 %
Pre-order
Le rôle de Channels TV dans la lutte contre la propagation du COVID-19 au Nigeria
53.71 € -14 %
Buy
Goos
23 €
Buy
Chymical Lectures
30.60 € -2 %
Buy
Joseph Campbell on Myth and Mythology
68.12 €
Buy
Ben Sultan Abdülhamid Han
16 € -4 %
Buy
Panama: A Personal Record Of Forty-Six Years, 1861-1907 (1907)
29.70 € -2 %
Buy
Composite Materials
59.01 € -4 %
Buy
Spaete Schriften Zur Literatur. Teil 3: Literaturtheorie, Hoerspiel, Populaerliteratur
101.73 € -8 %
Buy
Essential Guide to the Dubai Real Estate Market
187.77 €
Buy
Coup d'Oeil Sur l'Etat Religieux Du Monde Chretien
18 € -7 %
Buy
Isaiah 40-66
40.91 €
Buy
Tartaria 2 - Das Vergessene Erbe
14.80 € -6 %
Buy
Stollbergs Inferno
18.30 €
Buy
Cold War Berlin
42.61 €
Buy
Desarrollo de Agaricales En Ecosistemas Naturales
70.32 € -14 %
Buy
Representations of Working in Arts Education
79.12 €
Buy
China After The Fifteenth Party Congress: New Initiatives
23 €
Buy
Fool - Gomidas Institute edition
20.90 € -2 %
Buy
1917. Revolution. Russland und die Folgen
22.90 € -32 %
Buy
Nostalgia for the Modern
32.80 €
Buy
Happy Adults
11.09 € -19 %
Buy
Management des Outsourcings
42.31 € -11 %
Buy
Natural Resource Management and the Circular Economy
178.56 € -4 %
Buy
Biofilm-based Healthcare-associated Infections
146.15 €
Buy
Social Security
105.73 €
Buy
Es Posible Otro Sur? La Politica Cubana de Ciencia y Tecnologia
344.13 € -14 %
Buy
Brussel Sprouts Cookbook
9.79 € -7 %
Buy
Some Proofs in Elementary Geometry
13.70 € -2 %
Buy
First Book for the Guitar - Part 2: Guitar Technique
16.90 €
Buy
Texas Women First: Leading Ladies of Lone Star History
22.80 € -25 %
Buy
Toxikopathologische Studien zu Aceclofenac bei Masthähnchenküken
48.41 € -11 %
Buy
Einführung in die Hieroglyphenschrift
18.80 € -5 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

More about Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

Book details
Synopsis
Trending among others

You get 443 loyalty points

Book synopsis

This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book.

Book details

Book category Books in English Mathematics & science Mathematics Geometry

181.26 €

Full title: Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Author: Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
Language: English
Binding: Hardback
Number of pages: 480
EAN: 9789810215842
ISBN: 9810215843
ID: 05064599
Publisher: World Scientific Publishing Co Pte Ltd
Weight: 771 g
Date of publishing: 01. April 1994