LEADER 04141nam  22007335  450 
001 996465702903316
005 20240229170045.0
010   $a3-319-42432-7
024 7 $a10.1007/978-3-319-42432-3
035   $a(CKB)3710000000765273
035   $a(DE-He213)978-3-319-42432-3
035   $a(MiAaPQ)EBC6301754
035   $a(MiAaPQ)EBC5590577
035   $a(Au-PeEL)EBL5590577
035   $a(OCoLC)953576303
035   $a(PPN)194515133
035   $a(EXLCZ)993710000000765273
100   $a20160705d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematical Software ? ICMS 2016$b[electronic resource] $e5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /$fedited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXIV, 532 p. 111 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9725
311   $a3-319-42431-9 
327   $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.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9725
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aNumerical analysis
606   $aSoftware engineering
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aMathematical Applications in Computer Science
606   $aNumerical Analysis
606   $aSoftware Engineering
606   $aAlgorithms
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aNumerical analysis.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aMathematical Applications in Computer Science.
615 24$aNumerical Analysis.
615 24$aSoftware Engineering.
615 24$aAlgorithms.
676   $a510.285
702   $aGreuel$b G.-M$g(Gert-Martin)$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKoch$b Thorsten$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPaule$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSommese$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465702903316
996   $aMathematical Software ? ICMS 2016$92808140
997   $aUNISA