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 532 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 2018 written by James H. Davenport and published by Springer. This book was released on 2018-07-17 with total page 508 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 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 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 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 2018 written by James Harold Davenport and published by . This book was released on 2018 with total page 508 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 0 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 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 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 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 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 Mathematical Software ICMS 2024 written by Kevin Buzzard and published by Springer. This book was released on 2024-08-12 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
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 283 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 677 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 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 627 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.
