000756401 000__ 03738cam\a2200541Ii\4500
000756401 001__ 756401
000756401 005__ 20230306142013.0
000756401 006__ m\\\\\o\\d\\\\\\\\
000756401 007__ cr\cn\nnnunnun
000756401 008__ 160714s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000756401 020__ $$a9783319424323$$q(electronic book)
000756401 020__ $$a3319424327$$q(electronic book)
000756401 020__ $$z9783319424316
000756401 0247_ $$a10.1007/978-3-319-42432-3$$2doi
000756401 035__ $$aSP(OCoLC)ocn953576303
000756401 035__ $$aSP(OCoLC)953576303
000756401 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dOCLCF$$dOCLCO$$dNJR
000756401 049__ $$aISEA
000756401 050_4 $$aQA76.95
000756401 08204 $$a510.285$$223
000756401 1112_ $$aInternational Congress of Mathematical Software$$n(5th :$$d2016 :$$cBerlin, Germany)
000756401 24510 $$aMathematical software -- ICMS 2016$$h[electronic resource] :$$b5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /$$cGert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese (eds.).
000756401 2463_ $$aICMS 2016
000756401 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000756401 300__ $$a1 online resource (xxiv, 532 pages) :$$billustrations.
000756401 336__ $$atext$$btxt$$2rdacontent
000756401 337__ $$acomputer$$bc$$2rdamedia
000756401 338__ $$aonline resource$$bcr$$2rdacarrier
000756401 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9725
000756401 4901_ $$aLNCS sublibrary. SL 1, theoretical computer science and general issues
000756401 500__ $$aIncludes author index.
000756401 500__ $$aInternational conference proceedings.
000756401 5050_ $$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.
000756401 506__ $$aAccess limited to authorized users.
000756401 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.
000756401 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 14, 2016).
000756401 650_0 $$aMathematics$$xData processing$$vCongresses.
000756401 650_0 $$aComputer software$$vCongresses.
000756401 7001_ $$aGreuel, G.-M.$$q(Gert-Martin),$$eeditor.
000756401 7001_ $$aKoch, Thorsten,$$d1967-$$eeditor.
000756401 7001_ $$aPaule, Peter,$$eeditor.
000756401 7001_ $$aSommese, Andrew John,$$eeditor.
000756401 830_0 $$aLecture notes in computer science ;$$v9725.
000756401 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000756401 852__ $$bebk
000756401 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-42432-3$$zOnline Access$$91397441.1
000756401 909CO $$ooai:library.usi.edu:756401$$pGLOBAL_SET
000756401 980__ $$aEBOOK
000756401 980__ $$aBIB
000756401 982__ $$aEbook
000756401 983__ $$aOnline
000756401 994__ $$a92$$bISE