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

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 $89.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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Language & Linguistics Reference, Dictionaries & Guides Graphical & Digital Media Applications Geometry Computer Programming & Software Development

Programming & Scripting Languages Mathematical Theory of Computation Topology Algorithms & Data Structures Compilers & Interpreters

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 Algorithms & Data Structures

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Addiction by Design

Machine Gambling in Las Vegas

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Code Dependent

Living in the Shadow of AI

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Computational Modelling with Single Prompts

Series in Computational Physics

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

The Metaverse

Hype or Hoax?

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

This product is categorised by