Download or read book Mathematical Software ICMS 2020 written by Anna Maria Bigatti and published by Springer Nature. This book was released on 2020-07-07 with total page 491 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Mathematical Software ICMS 2024 written by Kevin Buzzard and published by Springer Nature. This book was released on with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Making Presentation Math Computable written by André Greiner-Petter and published by Springer Nature. This book was released on 2023-01-24 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.
Download or read book Software Ecosystems written by Tom Mens and published by Springer Nature. This book was released on 2023-11-06 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Mathematical Software ICMS 2010 written by Komei Fukuda and published by Springer. This book was released on 2010-09-10 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.
Download or read book Mathematical Software ICMS 2018 written by James H. Davenport and published by Springer. This book was released on 2018-07-17 with total page 525 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Mathematical Software ICMS 2006 written by Andres Iglesias and published by Springer. This book was released on 2006-08-31 with total page 467 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Mathematical Software ICMS 2016 written by Gert-Martin Greuel and published by Springer. This book was released on 2016-07-05 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This 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.
Download or read book Tools and Algorithms for the Construction and Analysis of Systems written by Dana Fisman and published by Springer Nature. This book was released on 2022-03-29 with total page 583 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
Download or read book Computer Algebra in Scientific Computing written by François Boulier and published by Springer Nature. This book was released on 2020-10-17 with total page 659 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Download or read book Mathematical Software ICMS 2014 written by Hoon Hong and published by Springer. This book was released on 2014-08-01 with total page 762 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Computer Science and Education written by Wenxing Hong and published by Springer Nature. This book was released on 2023-05-13 with total page 658 pages. Available in PDF, EPUB and Kindle. Book excerpt: This three-volume set constitues selected papers presented during the 17th International Conference on Computer Science and Education, ICCSE 2022, held in Ningbo, China, in August 2022. The 168 full papers and 43 short papers presented were thoroughly reviewed and selected from the 510 submissions. They focus on a wide range of computer science topics, especially AI, data science, and engineering, and technology-based education, by addressing frontier technical and business issues essential to the applications of data science in both higher education and advancing e-Society.
Download or read book Extended Abstracts EuroComb 2021 written by Jaroslav Nešetřil and published by Springer Nature. This book was released on 2021-08-23 with total page 875 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collects the extended abstracts of the accepted contributions to EuroComb21. A similar book is published at every edition of EuroComb (every two years since 2001) collecting the most recent advances in combinatorics, graph theory, and related areas. It has a wide audience in the areas, and the papers are used and referenced broadly.
Download or read book Software for Exascale Computing SPPEXA 2016 2019 written by Hans-Joachim Bungartz and published by Springer Nature. This book was released on 2020-07-30 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
Download or read book Topology in Real World Machine Learning and Data Analysis written by Kathryn Hess and published by Frontiers Media SA. This book was released on 2022-11-07 with total page 229 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Sustainable Manufacturing Processes written by R. Ganesh Narayanan and published by Academic Press. This book was released on 2022-10-08 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: Sustainable Manufacturing Processes provides best practice advice on sustainable manufacturing methods, with examples from industry as well as important supporting theory. In the current manufacturing industry, processes and materials are developed with close reference to sustainability issues, with an outward look to optimum production efficiency and reduced environmental impact. Important topics such as the use of renewable energy, reduction of material waste and recycling, reduction in energy and water consumption, and reduction in emissions are all discussed, along with broad coverage of deformation and joining technologies, computational techniques, and computer-aided engineering. In addition, a wide range of traditional and innovative manufacturing technologies are covered, including friction stir welding, incremental forming, abrasive water jet machining, laser beam machining, sustainable foundry, porous material fabrication by powder metallurgy, laser and additive manufacturing, and thermoelectric and thermomagnetic energy harvesting. - Features practical case studies from industry experts - Explains methods for reducing waste in additive manufacturing - Provides a detailed examination on how sustainability is measured in manufacturing
Download or read book Engineering Psychology and Cognitive Ergonomics written by Don Harris and published by Springer Nature. This book was released on 2021-07-03 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 18th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. EPCE 2021 includes a total of 34 papers; they were organized in topical sections named: cognitive psychology in aviation; cognitive psychology in air traffic control; studies on cognitive processes; human error and human performance; and cognition and design.
