Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /

Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and t...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gao, Xiao-lu (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Editor, http://id.loc.gov/vocabulary/relators/edt), Yang, Lu (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Lecture Notes in Artificial Intelligence ; 1669
Subjects:
Computers.
Geometry.
Artificial intelligence.
Mathematical logic.
Computer graphics.
Optical data processing.
Theory of Computation.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Computer Graphics.
Image Processing and Computer Vision.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
  • Solving Geometric Problems with Real Quantifier Elimination
  • Automated Discovering and Proving for Geometric Inequalities
  • Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
  • Readable Machine Solving in Geometry and ICAI Software MSG
  • Plane Euclidean Reasoning
  • A Clifford Algebraic Method for Geometric Reasoning
  • Clifford Term Rewriting for Geometric Reasoning in 3D
  • Some Applications of Clifford Algebra to Geometries
  • Decomposing Algebraic Varieties
  • An Application of Automatic Theorem Proving in Computer Vision
  • Automated Geometry Diagram Construction and Engineering Geometry
  • A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
  • Variant Geometry Analysis and Synthesis in Mechanical CAD.

Similar Items