LEADER 04037nam  22007935  450 
001 9910413441703321
005 20230330044757.0
010   $a3-030-52200-8
024 7 $a10.1007/978-3-030-52200-1
035   $a(CKB)4100000011343480
035   $a(DE-He213)978-3-030-52200-1
035   $a(MiAaPQ)EBC6268609
035   $a(PPN)254621783
035   $a(EXLCZ)994100000011343480
100   $a20200707d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematical Software ? ICMS 2020 $e7th International Conference, Braunschweig, Germany, July 13?16, 2020, Proceedings /$fedited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XXIII, 494 p. 529 illus., 111 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12097
311   $a3-030-52199-0 
327   $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.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12097
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aData structures (Computer science)
606   $aInformation theory
606   $aComputer networks
606   $aComputers, Special purpose
606   $aComputer systems
606   $aDiscrete Mathematics in Computer Science
606   $aData Structures and Information Theory
606   $aComputer Communication Networks
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aMathematical Applications in Computer Science
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aData structures (Computer science).
615  0$aInformation theory.
615  0$aComputer networks.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aData Structures and Information Theory.
615 24$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aMathematical Applications in Computer Science.
676   $a510.285
676   $a510.285536
702   $aBigatti$b Anna Maria$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCarette$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDavenport$b James H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJoswig$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Wolff$b Timo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910413441703321
996   $aMathematical Software ? ICMS 2020$91965947
997   $aUNINA