Coverart for item
The Resource Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings, Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)

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

Label
Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
Title
Automated deduction in geometry
Title remainder
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
Statement of responsibility
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
516/.0285
Illustrations
illustrations
Index
index present
LC call number
QA448.D38
LC item number
I577 1998
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
International Workshop on Automated Deduction in Geometry
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1961-
  • 1936-
http://library.link/vocab/relatedWorkOrContributorName
  • Gao, Xiao-Shan
  • Wang, Dongming
  • Yang, Lu
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1669.
http://library.link/vocab/subjectName
  • Geometry
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
Label
Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings, Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
42590909
Dimensions
24 cm
Extent
vi, 285 pages
Isbn
9783540666721
Isbn Type
(softcover : alk. paper)
Lccn
99051338
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings, Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
42590909
Dimensions
24 cm
Extent
vi, 285 pages
Isbn
9783540666721
Isbn Type
(softcover : alk. paper)
Lccn
99051338
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...