Mechanical Theorem Proving in Geometries Image close
Mechanical Theorem Proving in Geometries by Wen Tsun Wu
Mechanical Theorem Proving in Geometries by Wen Tsun Wu
Show Hide Adult Content
Mechanical Theorem Proving in Geometries close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Set theory

Mechanical Theorem Proving in Geometries

Basic Principles
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Texts and Monographs in Symbolic Computation,

See all products in this series

Correct Software in Web Applications and Web Services on Hardback
$154.00
Correct Software in Web Applications and Web Services
Hardback
Available - Usually ships in 3-4 weeks
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
$292.00
Algorithmic Combinatorics: Enumerative Combinatorics, Special...
Paperback / softback
Available - Usually ships in 3-4 weeks
Quantifier Elimination and Cylindrical Algebraic Decomposition
$157.00
Quantifier Elimination and Cylindrical Algebraic Decomposition
Paperback / softback
Available - Usually ships in 3-4 weeks
Loewy Decomposition of Linear Differential Equations on Hardback by Fritz Schwarz
$291.00
Loewy Decomposition of Linear Differential Equations
by Fritz Schwarz ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra on Hardback
$291.00
Algorithmic Combinatorics: Enumerative Combinatorics, Special...
Hardback
Available - Usually ships in 3-4 weeks
Computer-supported Calculus on Hardback by Adi Ben-Israel
$278.00
Computer-supported Calculus
by Adi Ben-Israel ~ Hardback
Available - Usually ships in 3-4 weeks
Polynomial Algorithms in Computer Algebra by Franz Winkler
$151.00
Polynomial Algorithms in Computer Algebra
by Franz Winkler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Integration in Finite Terms: Fundamental Sources on Hardback
$522.00
Integration in Finite Terms: Fundamental Sources
Hardback
Available - Usually ships in 3-4 weeks
Correct Software in Web Applications and Web Services
$151.00
Correct Software in Web Applications and Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Approximate Commutative Algebra
$289.00
Approximate Commutative Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Concrete Abstractions on Hardback by Wolfgang Schreiner
$227.00
Concrete Abstractions
by Wolfgang Schreiner ~ Hardback
Available - Usually ships in 3-4 weeks
The Symbolic Computation of Integrability Structures for Partial Differential Equations on Hardback by Joseph Krasil'shchik
$317.00
The Symbolic Computation of Integrability Structures for Partial...
by Joseph Krasil'shchik ~ Hardback
Available - Usually ships in 3-4 weeks
Computer Algebra in Quantum Field Theory on Hardback
$297.00
Computer Algebra in Quantum Field Theory
Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Computational Origami on Hardback by Tetsuo Ida
$521.00
An Introduction to Computational Origami
by Tetsuo Ida ~ Hardback
Available - Usually ships in 3-4 weeks
Elimination Methods by D Wang
$291.00
Elimination Methods
by D Wang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Integration in Finite Terms: Fundamental Sources
$522.00
Integration in Finite Terms: Fundamental Sources
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book is a translation of Professor Wus 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 Wus 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.
Release date NZ
April 14th, 1994
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Translated by D. Wang
  • Translated by X. Jin
Edition
Softcover reprint of the original 1st ed. 1994
Illustrations
XIV, 288 p.
Pages
288
Dimensions
170x244x17
ISBN-13
9783211825068
Product ID
5264311

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Wen Tsun Wu

See all books by this author

Rational Homotopy Type by Wen Tsun Wu
$187.00
Rational Homotopy Type
by Wen Tsun Wu ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Set theory
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Geometry >
Analytic geometry
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Geometry >
Algebraic geometry
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists