000 03731nam a22006015i 4500
001 978-3-319-42432-3
003 DE-He213
005 20180206183121.0
007 cr nn 008mamaa
008 160705s2016 gw | s |||| 0|eng d
020 _a9783319424323
_9978-3-319-42432-3
050 4 _aQA76.9.M35
072 7 _aPBD
_2bicssc
072 7 _aUYAM
_2bicssc
072 7 _aCOM018000
_2bisacsh
072 7 _aMAT008000
_2bisacsh
082 0 4 _a004.0151
_223
245 1 0 _aMathematical Software ? ICMS 2016
_h[recurso electrónico] :
_b5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
_cedited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXXIV, 532 p. 111 illus.
_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 ;
_v9725
505 0 _aUnivalent foundations and proof assistants -- Software for mathematical reasoning and applications -- Algebraic and toric geometry -- Algebraic geometry in applications -- Software of polynomial systems -- Software for numerically solving polynomial systems -- High-precision arithmetic, effective analysis, and special functions -- Mathematical optimization -- Interactive operation to scientific artwork and mathematical reasoning -- Information services for mathematics: software, services, models, and data -- SemDML: towards a semantic layer of a world digital mathematical library -- Miscellanea.
520 _aThis book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aAlgorithms.
650 0 _aNumerical analysis.
650 0 _aComputer science
_xMathematics.
650 1 4 _aComputer Science.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aMath Applications in Computer Science.
650 2 4 _aNumeric Computing.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aGreuel, Gert-Martin.
_eeditor.
700 1 _aKoch, Thorsten.
_eeditor.
700 1 _aPaule, Peter.
_eeditor.
700 1 _aSommese, Andrew.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319424316
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9725
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-42432-3
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c227535
_d227535