000 | 03957nam a22007095i 4500 | ||
---|---|---|---|
001 | 978-3-030-52200-1 | ||
003 | DE-He213 | ||
005 | 20240730171054.0 | ||
007 | cr nn 008mamaa | ||
008 | 200707s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030522001 _9978-3-030-52200-1 |
||
024 | 7 |
_a10.1007/978-3-030-52200-1 _2doi |
|
050 | 4 | _aQA76.9.M35 | |
050 | 4 | _aQA297.4 | |
072 | 7 |
_aUYAM _2bicssc |
|
072 | 7 |
_aPBD _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYAM _2thema |
|
072 | 7 |
_aPBD _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aMathematical Software - ICMS 2020 _h[electronic resource] : _b7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings / _cedited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXXIII, 494 p. 529 illus., 111 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12097 |
|
505 | 0 | _aGröbner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session. | |
520 | _aThis book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use. | ||
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aDiscrete mathematics. _912873 |
|
650 | 0 |
_aData structures (Computer science). _98188 |
|
650 | 0 |
_aInformation theory. _914256 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aComputer systems. _996961 |
|
650 | 1 | 4 |
_aDiscrete Mathematics in Computer Science. _931837 |
650 | 2 | 4 |
_aData Structures and Information Theory. _931923 |
650 | 2 | 4 |
_aComputer Communication Networks. _996963 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aComputer System Implementation. _938514 |
650 | 2 | 4 |
_aMathematical Applications in Computer Science. _931683 |
700 | 1 |
_aBigatti, Anna Maria. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _996965 |
|
700 | 1 |
_aCarette, Jacques. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _996966 |
|
700 | 1 |
_aDavenport, James H. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _996967 |
|
700 | 1 |
_aJoswig, Michael. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _996969 |
|
700 | 1 |
_ade Wolff, Timo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _996970 |
|
710 | 2 |
_aSpringerLink (Online service) _996972 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030521998 |
776 | 0 | 8 |
_iPrinted edition: _z9783030522018 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12097 _996974 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-52200-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c87383 _d87383 |