An edition of Automated deduction in geometry (2001)

Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Automated Deduction in Geometry
Jürgen Richter-Gebert, Dongmin ...
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
March 1, 2022 | History
An edition of Automated deduction in geometry (2001)

Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
Author: Jürgen Richter-Gebert, Dongming Wang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42598-4
DOI: 10.1007/3-540-45410-1

Table of Contents:

  • On Spatial Constraint Solving Approaches
  • A Hybrid Method for Solving Geometric Constraint Problems
  • Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
  • A Practical Program of Automated Proving for a Class of Geometric Inequalities
  • Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving
  • Algebraic and Semialgebraic Proofs: Methods and Paradoxes
  • Remarks on Geometric Theorem Proving
  • The Kinds of Truth of Geometry Theorems
  • A Complex Change of Variables for Geometrical Reasoning
  • Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
  • Effective Methods in Computational Synthetic Geometry
  • Decision Complexity in Dynamic Geometry
  • Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method
  • Qubit Logic, Algebra and Geometry
  • Nonstandard Geometric Proofs
  • Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
  • Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry

Publish Date
Publisher
Springer
Language
English

Buy this book

Previews available in: English

Book Details


Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
viii, 292

Edition Identifiers

Open Library
OL37394701M
ISBN 13
9783540479970

Work Identifiers

Work ID
OL18813125W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 1, 2022 Created by ImportBot Imported from Better World Books record