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.

This 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.

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.

This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments in computer algebra packages, interfacing computer algebra in mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, and general issues.

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a series of meetings of similar theme, the ?rst being held in Beijing, China in 2002,and the second in Castro-Urdiales, Spain in 2006. The ?eld of mathematics has numerous branches, and in each branch we ?nd that algorithms, and also implementations and applications of software s- tems, are studied. Researchers who endeavor to make such studies also have international meetings within their speci'c branches of mathematics, and these meetings have made signi'cant contributions to the ?elds in which they lie. The ICMS (International Congresseson Mathematical Software), on the other hand, is a general (not branch speci'c) meeting on mathematical software, which is held every four years, and is a rare opportunity for developers of mathematical softwarefrom di'erent branchesof mathematics, as well as mathematicians who are interested in mathematical software, to gather together.

This book constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019. The 22 revised papers and 14 short papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in the following topical sections: algorithms and foundation; security and cryptography; combinatorics, codes, designs and graphs; data modeling and machine learning; tools and software track.

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.

The first book to intervene in debates on computation in the digital humanities Bringing together leading experts from across North America and Europe, Computational Humanities redirects debates around computation and humanities digital scholarship from dualistic arguments to nuanced discourse centered around theories of knowledge and power. This volume is organized around four questions: Why or why not pursue computational humanities? How do we engage in computational humanities? What can we study using these methods? Who are the stakeholders? Recent advances in technologies for image and sound processing have expanded computational approaches to cultural forms beyond text, and new forms of data, from listservs and code repositories to tweets and other social media content, have enlivened debates about what counts as digital humanities scholarship. Providing case studies of collaborations between humanities-centered and computation-centered researchers, this volume highlights both opportunities and frictions, showing that data and computation are as much about power, prestige, and precarity as they are about p-values. Contributors: Mark Algee-Hewitt, Stanford U; David Bamman, U of California, Berkeley; Kaspar Beelen, U of London; Peter Bell, Philipps U of Marburg; Tobias Blanke, U of Amsterdam; Julia Damerow, Arizona State U; Quinn Dombrowski, Stanford U; Crystal Nicole Eddins, U of Pittsburgh; Abraham Gibson, U of Texas at San Antonio; Tassie Gniady; Crystal Hall, Bowdoin College; Vanessa M. Holden, U of Kentucky; David Kloster, Indiana U; Manfred D. Laubichler, Arizona State U; Katherine McDonough, Lancaster U; Barbara McGillivray, King’s College London; Megan Meredith-Lobay, Simon Fraser U; Federico Nanni, Alan Turing Institute; Fabian Offert, U of California, Santa Barbara; Hannah Ringler, Illinois Institute of Technology; Roopika Risam, Dartmouth College; Joshua D. Rothman, U of Alabama; Benjamin M. Schmidt; Lisa Tagliaferri, Rutgers U; Jeffrey Tharsen, U of Chicago; Marieke van Erp, Royal Netherlands Academy of Arts and Sciences; Lee Zickel, Case Western Reserve U.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023, "Computation at the Cutting Edge of Science", highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational and systems biology, environmental systems, finance, and others.