• 4,842,513 books for free!
logo

Computational Mathematics

Symbolic Logic Study Guide

The study guide for the Juniata College class Symbolic Logic.

Category Theory for Programmers

Category theory

Dynamics of Number Systems: Computation with Arbitrary Precision (1st Edition)

This book is a source of valuable and useful information on the topics of dynamics of number systems and scientific computation with arbitrary precision. It is addressed to scholars, scientists and engineers, and graduate students. The treatment is elementary and self-contained with relevance both for theory and applications. Th...

Advanced Finite Element Technologies (1st Edition)

The book presents an overview of the state of research of advanced finite element technologies. Besides the mathematical analysis, the finite element development and their engineering applications are shown to the reader. The authors give a survey of the methods and technologies concerning efficiency, robustness and performance ...

Numerical Methods and Modelling for Engineering (1st Edition)

This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground up, to reinforce for students that numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world systems and compute fe...

Boundary Integral Equation Methods and Numerical Solutions: Thin Plates on an Elastic Foundation (1st Edition)

This book presents and explains a general, efficient, and elegant method for solving the Dirichlet, Neumann, and Robin boundary value problems for the extensional deformation of a thin plate on an elastic foundation. The solutions of these problems are obtained both analytically—by means of direct and indirect boundary integral ...

Monte Carlo and Quasi-Monte Carlo Methods: MCQMC, Leuven, Belgium, April 2014 (1st Edition)

This book presents the refereed proceedings of the Eleventh International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Leuven (Belgium) in April 2014. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceeding...

Turing’s Vision: The Birth of Computer Science

Turing's fascinating and remarkable theory, which now forms the basis of computer science, explained for the general reader.In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbrea...