default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ADG 1998: Beijing, China
- Xiao-Shan Gao, Dongming Wang, Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 - Wu Wen-Tsün:
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. 1-13 - Andreas Dolzmann:
Solving Geometric Problems with Real Quantifier Elimination. 14-29 - Lu Yang, Xiaorong Hou, Bican Xia:
Automated Discovering and Proving for Geometric Inequalities. 30-46 - Jacques D. Fleuriot
, Lawrence C. Paulson:
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. 47-66 - Chuan-Zhong Li, Jing-Zhong Zhang:
Readable Machine Solving in Geometry and ICAI Software MSG. 67-85 - Desmond Fearnley-Sander:
Plane Euclidian Reasoning. 86-110 - Haiquan Yang, Shugong Zhang, Guochen Feng:
A Clifford Algebraic Method for Geometric Reasoning. 111-129 - Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang:
Clifford Term Rewriting for Geometric Reasoning in 3D. 130-155 - Hongbo Li:
Some Applications of Clifford Algebra to Geometries. 156-179 - Dongming Wang:
Decomposing Algebraic Varieties. 180-206 - Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo:
An Application of Automatic Theorem Proving in Computer Vision. 207-231 - Xiao-Shan Gao:
Automated Geometry Diagram Construction and Engineering Geometry. 232-257 - Jae Yeol Lee:
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. 258-274 - Zongying Ou, Jun Liu:
Variant Geometry Analysis and Synthesis in Mechanical CAD. 275-286
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-18 19:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
