03536nam 22007815 450 991034941850332120230801205331.03-319-96418-610.1007/978-3-319-96418-8(CKB)4100000005323387(DE-He213)978-3-319-96418-8(MiAaPQ)EBC6245929(PPN)229502601(EXLCZ)99410000000532338720180713d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierMathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIX, 508 p. 132 illus.)Theoretical Computer Science and General Issues,2512-2029 ;109313-319-96417-8 Includes bibliographical references and index.Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform.This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use.Theoretical Computer Science and General Issues,2512-2029 ;10931Computer science—MathematicsDiscrete mathematicsArtificial intelligenceData protectionComputer programmingCompilers (Computer programs)Information storage and retrieval systemsDiscrete Mathematics in Computer ScienceArtificial IntelligenceData and Information SecurityProgramming TechniquesCompilers and InterpretersInformation Storage and RetrievalComputer science—Mathematics.Discrete mathematics.Artificial intelligence.Data protection.Computer programming.Compilers (Computer programs).Information storage and retrieval systems.Discrete Mathematics in Computer Science.Artificial Intelligence.Data and Information Security.Programming Techniques.Compilers and Interpreters.Information Storage and Retrieval.510.285Davenport James Hedthttp://id.loc.gov/vocabulary/relators/edtKauers Manueledthttp://id.loc.gov/vocabulary/relators/edtLabahn Georgeedthttp://id.loc.gov/vocabulary/relators/edtUrban Josefedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349418503321Mathematical Software – ICMS 20182262053UNINA