Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers / edited by Dongming Wang.

Format:

Book

Contributor:

Wang, Dongming, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1360.

Lecture Notes in Artificial Intelligence ; 1360

Language:

English

Subjects (All):

Computers.

Programming languages (Electronic computers).

Artificial intelligence.

Logic, Symbolic and mathematical.

Computer graphics.

Algorithms.

Theory of Computation.

Programming Languages, Compilers, Interpreters.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Computer Graphics.

Local Subjects:

Theory of Computation.

Programming Languages, Compilers, Interpreters.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Computer Graphics.

Algorithms.

Physical Description:

1 online resource (VII, 240 pages).

Edition:

First edition 1997.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.

System Details:

text file PDF

Summary:

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.

Contents:

Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets

Extended Dixon's resultant and its applications

Computational geometry problems in REDLOG

Probabilistic verification of elementary geometry statements

Computational synthetic geometry with Clifford algebra

Clifford algebraic calculus for geometric reasoning

Area in Grassmann geometry

Automated production of readable proofs for theorems in non-Euclidean geometries

Points on algebraic curves and the parametrization problem

Flat central configurations of four planet motions

Integration of reasoning and algebraic calculus in geometry.

Other Format:

Printed edition:

ISBN:

978-3-540-69717-6

9783540697176

Access Restriction:

Restricted for use by site license.