Franklin

Automated deduction in geometry [electronic resource] : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.).

Publication:
Berlin ; New York : Springer, 1999.
Conference Name:
International Workshop on Automated Deduction in Geometry (2nd : 1998 : Beijing, China)
Series:
Lecture notes in computer science; 1669.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 1669. Lecture notes in artificial intelligence
Format/Description:
Conference/Event
Book
1 online resource
Subjects:
Geometry -- Data processing -- Congresses.
Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Form/Genre:
Conference papers and proceedings.
System Details:
Mode of access: World Wide Web.
Contents:
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.
Notes:
Includes bibliographical references and index.
Contributor:
Gao, Xiao-Shan.
Wang, Dongming, 1961-
Yang, Lu, 1936-
ISBN:
3540666729
9783540666721
OCLC:
42590909
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy