Stan Wagon Knihy

The book offers an example-based introduction to Mathematica, emphasizing its powerful capabilities for mathematical computation and exploration. It showcases advanced features introduced in version 6, such as dynamic output manipulation and enhanced animations, allowing users to engage with multiple variables. Through various demonstrations, it tackles a wide range of mathematical problems while interweaving complex examples with more familiar ones. The text underscores the advantages of a computational perspective in mathematics, highlighting how precise computations can reveal new insights and patterns.

The Banach-Tarski Paradox is the most surprising result in mathematics. This new edition of a classic book offers a comprehensive, accessible presentation, with many related results, especially connections to non-Euclidean geometry, to squaring the circle, and even to some art by Escher. This material is suited to projects for undergraduates or masters students.

The authors, members of teams that solved all 10 problems, show in detail multiple approaches for solving each problem, ranging from elementary to sophisticated, from brute-force to schemes that can be scaled to provide thousands of digits of accuracy and that can solve even larger related problems. The authors touch on virtually every major technique of modern numerical matrix computation, iterative linear methods, limit extrapolation and convergence acceleration, numerical quadrature, contour integration, discretization of PDEs, global optimization, Monte Carlo and evolutionary algorithms, error control, interval and high-precision arithmetic, and many more. The SIAM 100-Digit A Study in High-Accuracy Numerical Computing gives concrete examples of how to justify the validity of every single digit of a numerical answer. Methods range from carefully designed computer experiments to a posteriori error estimates and computer-assisted proofs based on interval arithmetic.