Inequalities arise as an essential component in various mathematical areas. Besides forming a highly important collection of tools, e.g. for proving analytic or stochastic theorems or for deriving error estimates in numerical mathematics, they constitute a challenging research field of their own. Inequalities also appear directly in mathematical models for applications in science, engineering, and economics.This edited volume covers divers aspects of this fascinating field. It addr...

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a “theoretical” proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for ...