In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the e

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turk

This volume constitutes the refereed proceedings of the 11th International Conference on Applied Parallel and Scientific Computing, PARA 2012, held in Helsinki,

This book investigates some of the difficulties related to scientific computing, describing how these can be overcome.

Building on the basic techniques of separation of variables and Fourier series, the book presents the solution of boundary-value problems for basic partial diff