Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings

Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Automated Deduction in Geometry, ADG'98, held in Beijing, China in August 1998. The 14 revised papers presented were selected from the papers accepted for the workshop after careful reviewing. The papers address all current issues in the area, in particular automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning, Clifford algebraic methods for geometric reasoning, decomposing algebraic varieties, applciations in computer vision, mechanical CAGD, etc.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

この本の情報

書名 Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
著作者等 Gao, Xiao-Shan
International Workshop on Automated Deduction in Geometry
Gao Xiao-Lu
Lu Yang
Yang Lu
Wang Dongming
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c1999
ページ数 vi, 285 p.
大きさ 24 cm
ISBN 3540666729
NCID BA43687646
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想