000 04724nam a22006495i 4500
001 978-3-540-47997-0
003 DE-He213
005 20240423132529.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 _a9783540479970
_9978-3-540-47997-0
024 7 _a10.1007/3-540-47997-X
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aAutomated Deduction in Geometry
_h[electronic resource] :
_bSecond International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /
_cedited by Xiao-lu Gao, Dongming Wang, Lu Yang.
250 _a1st ed. 1999.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1999.
300 _aVIII, 292 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1669
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aGeometry.
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 0 _aComputer graphics.
650 0 _aComputer vision.
650 1 4 _aTheory of Computation.
650 2 4 _aGeometry.
650 2 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aComputer Graphics.
650 2 4 _aComputer Vision.
700 1 _aGao, Xiao-lu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWang, Dongming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aYang, Lu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540666721
776 0 8 _iPrinted edition:
_z9783662166161
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1669
856 4 0 _uhttps://doi.org/10.1007/3-540-47997-X
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188771
_d188771