Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engineering. Algorithms for performing operations like addition, subtraction, multiplication, and division in digital computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing... more...

This handbook aims to provide a complete overview of modern floating-point arithmetic. This includes a detailed treatment of the current (IEEE-754) and next (preliminarily called IEEE-754R) standards for floating-point arithmetic. more...

Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on ?Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction... more...

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

Digital arithmetic plays an important role in the design of general-purpose digital processors and of embedded systems for signal processing, graphics, and communications. In spite of a mature body of knowledge in digital arithmetic, each new generation of processors or digital systems creates new arithmetic design problems. Designers, researchers,... more...

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics... more...

Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of the many research advances in the area. As a result, they are losing out on emerging opportunities to optimize its use in targeted applications and technologies. In many cases, easily available standard arithmetic hardware might not necessarily... more...

This book constitutes the proceedings of the 17 th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra... more...

This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. more...