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 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 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 Proof Technology in Mathematics Research and Teaching written by Gila Hanna and published by Springer Nature. This book was released on 2019-10-02 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.
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 Sustainable Manufacturing written by Rainer Stark and published by Springer. This book was released on 2017-01-16 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: This edited volume presents the research results of the Collaborative Research Center 1026 “Sustainable manufacturing - shaping global value creation”. The book aims at providing a reference guide of sustainable manufacturing for researchers, describing methodologies for development of sustainable manufacturing solutions. The volume is structured in four chapters covering the following topics: sustainable manufacturing technology, sustainable product development, sustainable value creation networks and systematic change towards sustainable manufacturing. The target audience comprises both researchers and practitioners in the field of sustainable manufacturing, but the book may also be beneficial for graduate students.
Download or read book Handbook of Parallel Constraint Reasoning written by Youssef Hamadi and published by Springer. This book was released on 2018-04-05 with total page 687 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units. The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD). The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Download or read book Operations Research Proceedings 2022 written by Oliver Grothe and published by Springer Nature. This book was released on 2023-09-30 with total page 619 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers a selection of peer-reviewed papers presented at the International Conference on Operations Research (OR 2022), which was held at Karlsruhe Institute of Technology, Germany, on September 6-9, 2022. KIT’s Institute for Operations Research (IOR) hosted the conference together with the Institute for Industrial Production (IIP), the Institute for Automation and Applied Informatics (IAI), and the Institute for Material Handling and Logistics (IFL). The respective papers discuss classical mathematical optimization, statistics and simulation techniques. These are complemented by computer science methods, and by tools for processing data, designing and implementing information systems. The book also examines recent advances in information technology, which allow big data volumes to be processed and enable real-time predictive and prescriptive business analytics to drive decisions and actions. Lastly, it includes problems modeled and treated while taking into account uncertainty, risk management, behavioral issues, etc.
Download or read book Intelligent Computer Mathematics written by Florian Rabe and published by Springer. This book was released on 2018-08-02 with total page 299 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Download or read book Handbook of Floating Point Arithmetic written by Jean-Michel Muller and published by Birkhäuser. This book was released on 2018-05-02 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt: Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.
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 Operational Research written by João Paulo Almeida and published by Springer Nature. This book was released on 2024-01-06 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the XXII Congress of APDIO – IO 2022 which is the 22nd edition of the regular meeting of the Portuguese Association of Operational Research (APDIO). The APDIO regular meetings aim to gather Portuguese and international researchers, scholars and practitioners, as well as M.Sc. and Ph.D. students, working in the field of Operations Research to present and discuss their latest research works. The main theme of the XXII Congress of APDIO is OR in Turbulent Times: Adaptation and Resilience. Readers find interesting results and applications of Operational Research cutting-edge methods and techniques in the wide variety of the addressed problems. Of particular interest are the applications of, among others, linear, nonlinear and mixed-integer programing, multiobjective optimization, metaheuristics and hybrid heuristics, multicriteria decision analysis, data envelopment analysis, simulation, clustering techniques and decision support systems, in different areas such as, supply chain management, scheduling problems, production management, logistics, energy, telecommunications, finance and health.
Download or read book Advanced Software Technologies for Post Peta Scale Computing written by Mitsuhisa Sato and published by Springer. This book was released on 2018-12-06 with total page 317 pages. Available in PDF, EPUB and Kindle. Book excerpt: Covering research topics from system software such as programming languages, compilers, runtime systems, operating systems, communication middleware, and large-scale file systems, as well as application development support software and big-data processing software, this book presents cutting-edge software technologies for extreme scale computing. The findings presented here will provide researchers in these fields with important insights for the further development of exascale computing technologies. This book grew out of the post-peta CREST research project funded by the Japan Science and Technology Agency, the goal of which was to establish software technologies for exploring extreme performance computing beyond petascale computing. The respective were contributed by 14 research teams involved in the project. In addition to advanced technologies for large-scale numerical computation, the project addressed the technologies required for big data and graph processing, the complexity of memory hierarchy, and the power problem. Mapping the direction of future high-performance computing was also a central priority.
Download or read book Human decisions written by Netexplo (France) and published by UNESCO Publishing. This book was released on 2018-03-05 with total page 129 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Past Web written by Daniel Gomes and published by Springer Nature. This book was released on 2021-06-30 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides practical information about web archives, offers inspiring examples for web archivists, raises new challenges, and shares recent research results about access methods to explore information from the past preserved by web archives. The book is structured in six parts. Part 1 advocates for the importance of web archives to preserve our collective memory in the digital era, demonstrates the problem of web ephemera and shows how web archiving activities have been trying to address this challenge. Part 2 then focuses on different strategies for selecting web content to be preserved and on the media types that different web archives host. It provides an overview of efforts to address the preservation of web content as well as smaller-scale but high-quality collections of social media or audiovisual content. Next, Part 3 presents examples of initiatives to improve access to archived web information and provides an overview of access mechanisms for web archives designed to be used by humans or automatically accessed by machines. Part 4 presents research use cases for web archives. It also discusses how to engage more researchers in exploiting web archives and provides inspiring research studies performed using the exploration of web archives. Subsequently, Part 5 demonstrates that web archives should become crucial infrastructures for modern connected societies. It makes the case for developing web archives as research infrastructures and presents several inspiring examples of added-value services built on web archives. Lastly, Part 6 reflects on the evolution of the web and the sustainability of web archiving activities. It debates the requirements and challenges for web archives if they are to assume the responsibility of being societal infrastructures that enable the preservation of memory. This book targets academics and advanced professionals in a broad range of research areas such as digital humanities, social sciences, history, media studies and information or computer science. It also aims to fill the need for a scholarly overview to support lecturers who would like to introduce web archiving into their courses by offering an initial reference for students.
Download or read book Integer Programming and Combinatorial Optimization written by Mohit Singh and published by Springer Nature. This book was released on 2021-05-05 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 22nd Conference on Integer Programming and Combinatorial Optimization, IPCO 2021, which took place during May 19-21, 2021. The conference was organized by Georgia Institute of Technology and planned to take place it Atlanta, GA, USA, but changed to an online format due to the COVID-19 pandemic. The 33 papers included in this book were carefully reviewed and selected from 90 submissions. IPCO is under the auspices of the MathematicalOptimization Society, and it is an important forum for presenting the latest results of theory and practice of the various aspects of discrete optimization.
