Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

By: Dongming Wang (Editor)

Write A Review

Paperback | 18 March 1998

At a Glance

Paperback
248 Pages

Dimensions(cm)
23.39 x 15.6 x 1.32

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gr¶bner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Geometry

The Maths Book

Big Ideas Simply Explained

Hardcover

RRP $42.99

$32.99

23%
OFF

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Paperback

RRP $16.99

$13.75

19%
OFF

Grade 3 Geometry and Measurement

Paperback

RRP $16.99

$13.75

19%
OFF

Geometry

Grades 6 - 8

Paperback

RRP $24.99

$18.75

25%
OFF

Intro to Geometry

Grades 6 - 8

Paperback

RRP $24.99

$18.99

24%
OFF

Grade 6 Geometry and Measurement

Kumon Math Workbooks

Paperback

RRP $16.99

$13.75

19%
OFF

Essential Trigonometry - Isabella Hughes

$19.75

10%
OFF

Grade 1 Geometry & Measurement

Kumon Math Workbooks

Paperback

RRP $16.99

$13.75

19%
OFF

Calculus

3rd Edition

Hardcover

RRP $97.95

$80.75

18%
OFF

Algebraic Topology

Paperback

RRP $75.95

$64.99

14%
OFF

Crocheting Adventures with Hyperbolic Planes

Tactile Mathematics, Art and Craft for all to Explore, Second Edition

Paperback

RRP $58.99

$53.75

Introduction to Lie Algebras : Finite and Infinite Dimension - J. I. Hall

$195.75

Saturated Fusion Systems on $p$-Groups of Maximal Class

Paperback

RRP $197.00

$187.75

Steady Gradient Kahler-Ricci Solitons on Crepant Resolutions of Calabi-Yau Cones

Paperback

RRP $197.00

$187.75

$G$-Global Homotopy Theory and Algebraic $K$-Theory

Paperback

RRP $197.00

$187.75

Para-HyperKahler Geometry of the Deformation Space of Maximal Globally Hyperbolic Anti-de Sitter Three-Manifolds

Paperback

$219.99

The Dynamics and Geometry of Semi-Hyperbolic Rational Semigroups

Paperback

RRP $197.00

$187.75

Arithmetic Quotients of the Bruhat-Tits Building for Projective GeneralLinear Groups in Positive Characteristic

Paperback

$219.99

The Global Solutions to a Cartan's Realization Problem

Paperback

$219.99

Automated Geometric Reasoning: Dixon Resultants, Grobner Bases, and Characteristic Sets	p. 1
Extended Dixon's Resultant and Its Applications	p. 37
Computational Geometry Problems in REDLOG	p. 58
Probabilistic Verification of Elementary Geometry Statements	p. 87
Computational Synthetic Geometry with Clifford Algebra	p. 102
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision	p. 115
Area in Grassmann Geometry	p. 141
Automated Production of Readable Proofs for Theorems in Non-Euclidean Geometries	p. 171
Points on Algebraic Curves and the Parametrization Problem	p. 189
Flat Central Configurations of Four Planet Motions	p. 208
Integration of Reasoning and Algebraic Calculus in Geometry	p. 218
Author Index	p. 235
Table of Contents provided by Blackwell. All Rights Reserved.

Automated Deduction in Geometry

International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Geometry

The Maths Book

Big Ideas Simply Explained

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Grade 3 Geometry and Measurement

Geometry

Grades 6 - 8

Intro to Geometry

Grades 6 - 8

Grade 6 Geometry and Measurement

Kumon Math Workbooks

Essential Trigonometry

College Geometry

Sacred Geometry

Philosophy and Practice

Grade 1 Geometry & Measurement

Kumon Math Workbooks

Calculus

3rd Edition

Algebraic Topology

Crocheting Adventures with Hyperbolic Planes

Tactile Mathematics, Art and Craft for all to Explore, Second Edition

Introduction to Lie Algebras

Finite and Infinite Dimension

The Practice of Algebraic Curves

A Second Course in Algebraic Geometry

Introduction to Lie Algebras

Finite and Infinite Dimension

The Practice of Algebraic Curves

A Second Course in Algebraic Geometry

Saturated Fusion Systems on $p$-Groups of Maximal Class

Steady Gradient Kahler-Ricci Solitons on Crepant Resolutions of Calabi-Yau Cones

$G$-Global Homotopy Theory and Algebraic $K$-Theory

Para-HyperKahler Geometry of the Deformation Space of Maximal Globally Hyperbolic Anti-de Sitter Three-Manifolds

The Dynamics and Geometry of Semi-Hyperbolic Rational Semigroups

Arithmetic Quotients of the Bruhat-Tits Building for Projective GeneralLinear Groups in Positive Characteristic

The Global Solutions to a Cartan's Realization Problem

This product is categorised by