This book is based on the best papers accepted for presentation during the International Conference on Mathematics and its Applications in New Computer Systems (MANCS-2021), Russia. The book includes research materials on modern mathematical problems, solutions in the field of cryptography, data analysis and modular computing, as well as scientific computing. The scope of numerical methods in scientific computing presents original research, including mathematical models and software implementations, related to the following topics: numerical methods in scientific computing; solving optimization problems; methods for approximating functions, etc. The studies in mathematical solutions to cryptography issues are devoted to secret sharing schemes, public key systems, private key systems, n-degree comparisons, modular arithmetic of simple, addition of points of an elliptic curve, Hasse theorem, homomorphic encryption and learning with error, and modifications of the RSA system. Furthermore, issues in data analysis and modular computing include contributions in the field of mathematical statistics, machine learning methods, deep learning, and neural networks. Finally, the book gives insights into the fundamental problems in mathematics education. The book intends for readership specializing in the field of cryptography, information security, parallel computing, computer technology, and mathematical education.

This volume is intended to be used as a textbook for a special topic course in computer science. It addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. The work incorporates many new research ideas, and focuses on the role of continuous mathematics. Audience: This book will be valuable to graduate students interested in theoretical computer topics, algorithms, expert systems, neural networks, and software engineering.

Thirty years ago mathematical, as opposed to applied numerical, computation was difficult to perform and so relatively little used. Three threads changed that: the emergence of the personal computer; the discovery of fiber-optics and the consequent development of the modern internet; and the building of the Three “M’s” Maple, Mathematica and Matlab. We intend to persuade that Mathematica and other similar tools are worth knowing, assuming only that one wishes to be a mathematician, a mathematics educator, a computer scientist, an engineer or scientist, or anyone else who wishes/needs to use mathematics better. We also hope to explain how to become an "experimental mathematician" while learning to be better at proving things. To accomplish this our material is divided into three main chapters followed by a postscript. These cover elementary number theory, calculus of one and several variables, introductory linear algebra, and visualization and interactive geometric computation.

This volume contains selected papers of the proceedings of the first Hellenic Conference on Mathematics and Informatics (HERMIS '92). The main theme for HERMIS '92 Conference was Computer Mathematics, with special emphasis on Computational Mathematics, Operational Research and Statistics, and Mathematics in Economic Science. The presented papers of the HERMIS Conference have been classified into the following technical sessions: Numerical solution of Differential Equations, Parallel Processing and Parallel Algorithms, Optimization and Approximation, Algorithms in Operational Research and Control Theory, Statistical Methods and Analysis, Mathematics in Economic Science, Artificial Intelligence and Data Bases Technology.In addition, a number of selected research articles published recently in the Hellenic Mathematical Society Bulletin in the form of special issues on Computer Mathematics (Volumes 31 and 32) are also included.

This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems. This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction. Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus. This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.

Fundamental arithmetic operations support virtually all of the engineering, scientific, and financial computations required for practical applications, from cryptography, to financial planning, to rocket science. This comprehensive reference provides researchers with the thorough understanding of number representations that is a necessary foundation for designing efficient arithmetic algorithms. Using the elementary foundations of radix number systems as a basis for arithmetic, the authors develop and compare alternative algorithms for the fundamental operations of addition, multiplication, division, and square root with precisely defined roundings. Various finite precision number systems are investigated, with the focus on comparative analysis of practically efficient algorithms for closed arithmetic operations over these systems. Each chapter begins with an introduction to its contents and ends with bibliographic notes and an extensive bibliography. The book may also be used for graduate teaching: problems and exercises are scattered throughout the text and a solutions manual is available for instructors.