000 | 03045nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-21046-4 | ||
003 | DE-He213 | ||
005 | 20160624102157.0 | ||
007 | cr nn 008mamaa | ||
008 | 110503s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642210464 _9978-3-642-21046-4 |
||
024 | 7 |
_a10.1007/978-3-642-21046-4 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aAutomated Deduction in Geometry _h[electronic resource] : _b7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / _cedited by Thomas Sturm, Christoph Zengler. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
300 |
_aIX, 225p. _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 Computer Science, _x0302-9743 ; _v6301 |
|
520 | _aThis book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aComputational complexity. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer graphics. | |
650 | 0 | _aDiscrete groups. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aComputer Graphics. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
650 | 2 | 4 | _aConvex and Discrete Geometry. |
700 | 1 |
_aSturm, Thomas. _eeditor. |
|
700 | 1 |
_aZengler, Christoph. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642210457 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6301 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-21046-4 |
942 |
_2EBK9624 _cEBK |
||
999 |
_c38918 _d38918 |