000 03864nam a22006375i 4500
001 978-3-540-24616-9
003 DE-He213
005 20240423132454.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540246169
_9978-3-540-24616-9
024 7 _a10.1007/b95516
_2doi
050 4 _aQA440-699
072 7 _aPBM
_2bicssc
072 7 _aMAT012000
_2bisacsh
072 7 _aPBM
_2thema
082 0 4 _a516
_223
245 1 0 _aAutomated Deduction in Geometry
_h[electronic resource] :
_b4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers /
_cedited by Franz Winkler.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aVII, 229 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 ;
_v2930
505 0 _aAlgorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving.
520 _aThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.
650 0 _aGeometry.
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aComputer graphics.
650 0 _aPattern recognition systems.
650 1 4 _aGeometry.
650 2 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aComputer Graphics.
650 2 4 _aAutomated Pattern Recognition.
700 1 _aWinkler, Franz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540209270
776 0 8 _iPrinted edition:
_z9783662204009
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v2930
856 4 0 _uhttps://doi.org/10.1007/b95516
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188133
_d188133