Automated deduction in geometry:Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; ; |
Published: |
Springer,
|
Publisher Address: | Berlin |
Publication Dates: | 1999. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 1669. |
Subjects: | |
Carrier Form: | vi, 285 p.: ill. ; 24 cm. |
ISBN: | 3540666729 (softcover : alk. paper) |
Index Number: | TP301 |
CLC: |
TP301.6-532 O18-532 |
Call Number: | O18-532/A939/1998 |
Contents: |
Includes bibliographical references and index. Automatic geometry theorem-proving and automatic geometry problem-solving / Wen-tsün Wu -- Solving geometric problems with real quantifier elimination / Andreas Dolzmann -- Automated discovering and proving for geometric inequalities / Lu Yang, Xiaorong Hou, and Bican Xia -- Proving Newton's Propositio Kepleriana using geometry and nonstandard analysis in Isabelle / Jacques D. Fleuriot and Lawrence C. Paulson -- Readable machine solving in geometry and ICAI software MSG / Chuan-Zhong Li and Jing-Zhong Zhang -- Plane Euclidean reasoning / Desmond Fearnley-Sander -- A Clifford algebraic method for geometric reasoning / Haiquan Yang, Shugong Zhang, and Guochen Feng -- Clifford term rewriting for geometric reasoning in 3D / Thierry Boy de la Tour, Stéphane Fèvre, and Dongming Wang -- Some applications of Clifford algebra to geometries / Hongbo Li -- Decomposing algebraic varieties / Dongming Wang -- An application of automatic theorem proving in computer vision / Didier Bondyfalat, Bernard Mourrain, and Théodore Papadopoulo -- Automated geometry diagram construction and engineering geometry / Xiao-Shan Gao -- A 2D geometric constraint solver for parametric design using graph analysis and reduction / Jae Yeol Lee -- Variant geometry analysis and synthesis in mechanical CAD / Zongying Ou and Jun Liu. |