Mathematical Software – ICMS 2024
Author | : Kevin Buzzard |
Publisher | : Springer Nature |
Total Pages | : 377 |
Release | : |
Genre | : |
ISBN | : 3031645294 |
Download Mathematical Software – ICMS 2024 Book in PDF, ePub and Kindle
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Mathematical Software Icms 2024 PDF full book. Access full book title Mathematical Software Icms 2024.
Author | : Kevin Buzzard |
Publisher | : Springer Nature |
Total Pages | : 377 |
Release | : |
Genre | : |
ISBN | : 3031645294 |
Author | : Kevin Buzzard |
Publisher | : Springer |
Total Pages | : 0 |
Release | : 2024-08-12 |
Genre | : Computers |
ISBN | : 9783031645280 |
This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.
Author | : François Boulier |
Publisher | : Springer Nature |
Total Pages | : 407 |
Release | : |
Genre | : |
ISBN | : 3031690702 |
Author | : Tom Mens |
Publisher | : Springer Nature |
Total Pages | : 321 |
Release | : 2023-11-06 |
Genre | : Computers |
ISBN | : 3031360605 |
This book highlights recent research advances in various domains related to software ecosystems such as library reuse, collaborative development, cloud computing, open science, sentiment analysis and machine learning. A key aspect of software ecosystems is that software products belong to ever more interdependent networks of co-evolving software components. The ever-increasing importance of social coding platforms has made software ecosystems indispensable to software practitioners, in commercial as well as open-source settings. The book starts with an introductory chapter that provides a historical account of the origins of software ecosystems. It provides the necessary context about the domain of software ecosystems by highlighting its different perspectives, definitions, and representations. It also exemplifies the variety of software ecosystems that have emerged during the previous decades. The remaining book is composed of five parts: Part I contains two chapters on software ecosystem representations, Part II two chapters that focus on complementary ways and techniques of analyzing software ecosystems. Next, Part III includes two chapters that focus on aspects related to the evolution within software ecosystems, while Part IV looks at workflow automation and infrastructure-as-code ecosystems. Finally, Part V focuses on ecosystems for software modeling and for data-intensive software. This book is intended for researchers and practitioners interested in data mining, tooling, and empirical analysis of software ecosystems. The reader will appreciate chapters that cover a wide spectrum of social and technical aspects of software ecosystems, each including an overview of the state of the art. Chapter 2 The Software Heritage Open Science Ecosystem is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Author | : Paul Breiding |
Publisher | : Springer Nature |
Total Pages | : 225 |
Release | : 2024 |
Genre | : Geometry, Algebraic |
ISBN | : 3031514629 |
Zusammenfassung: Metric algebraic geometry combines concepts from algebraic geometry and differential geometry. Building on classical foundations, it offers practical tools for the 21st century. Many applied problems center around metric questions, such as optimization with respect to distances. After a short dive into 19th-century geometry of plane curves, we turn to problems expressed by polynomial equations over the real numbers. The solution sets are real algebraic varieties. Many of our metric problems arise in data science, optimization and statistics. These include minimizing Wasserstein distances in machine learning, maximum likelihood estimation, computing curvature, or minimizing the Euclidean distance to a variety. This book addresses a wide audience of researchers and students and can be used for a one-semester course at the graduate level. The key prerequisite is a solid foundation in undergraduate mathematics, especially in algebra and geometry. This is an open access book
Author | : Florent de Dinechin |
Publisher | : Springer Nature |
Total Pages | : 810 |
Release | : |
Genre | : |
ISBN | : 3031428080 |
Author | : Hoon Hong |
Publisher | : Springer |
Total Pages | : 762 |
Release | : 2014-08-01 |
Genre | : Computers |
ISBN | : 3662441993 |
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.
Author | : Jessica Marie Johnson |
Publisher | : U of Minnesota Press |
Total Pages | : 335 |
Release | : 2024-09-24 |
Genre | : Social Science |
ISBN | : 1452971765 |
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.
Author | : Guillermo Curbera |
Publisher | : CRC Press |
Total Pages | : 336 |
Release | : 2009-02-23 |
Genre | : Mathematics |
ISBN | : 1439865124 |
This vividly illustrated history of the International Congress of Mathematicians- a meeting of mathematicians from around the world held roughly every four years- acts as a visual history of the 25 congresses held between 1897 and 2006, as well as a story of changes in the culture of mathematics over the past century. Because the congress is an int
Author | : Komei Fukuda |
Publisher | : |
Total Pages | : |
Release | : 2010 |
Genre | : |
ISBN | : 9783642155833 |