04507nam a22006375i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003100137050001700168072001500185072001600200072002300216072002300239082001700262100002900279245019400308264006100502300003500563336002600598337002600624338003600650347002400686490005800710505088300768520149701651650002203148650001503170650002403185650002903209650002303238650002203261650001403283650002203297650002703319650001403346650004603360650004503406650002303451650004203474700002903516700002303545710003403568773002003602776003603622830005803658856004403716912001403760912001403774912001403788942001203802950003803814999001703852978-3-540-47997-0DE-He21320170515111506.0cr nn 008mamaa121227s1999 gw | s |||| 0|eng d a97835404799709978-3-540-47997-07 a10.1007/3-540-47997-X2doi 4aQA75.5-76.95 7aUY2bicssc 7aUYA2bicssc 7aCOM0140002bisacsh 7aCOM0310002bisacsh04a004.01512231 aGao, Xiao-Shan.eauthor.10aAutomated Deduction in Geometryh[electronic resource] :bSecond International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings /cby Xiao-Shan Gao, Dongming Wang, Lu Yang. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg,c1999. aVIII, 292 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v16690 aAutomatic 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. aThe Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG. 0aComputer science. 0aComputers. 0aMathematical logic. 0aArtificial intelligence. 0aComputer graphics. 0aImage processing. 0aGeometry.14aComputer Science.24aTheory of Computation.24aGeometry.24aArtificial Intelligence (incl. Robotics).24aMathematical Logic and Formal Languages.24aComputer Graphics.24aImage Processing and Computer Vision.1 aWang, Dongming.eauthor.1 aYang, Lu.eauthor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783540666721 0aLecture Notes in Computer Science,x0302-9743 ;v166940uhttp://dx.doi.org/10.1007/3-540-47997-X aZDB-2-SCS aZDB-2-LNC aZDB-2-BAE 2ddccEB aComputer Science (Springer-11645) c14663d14663