David - Arithmetic 1

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?……続きを見る

Metaheuristic optimization has become a prime alternative for solving complex optimization problems in several areas. Hence, practitioners and researchers have been paying extensive attention to tho……続きを見る

Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate ……続きを見る

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian va……続きを見る

X Marks the Spot is written from the point of view of the users of mathematics. Since the beginning, mathematical concepts and techniques (such as arithmetic and geometry) were created as tools with……続きを見る

The book intends to give a modern presentation of the classical Markov and Lagrange spectrum, which are fundamental objects from the theory of Diophantine approximations and of their several general……続きを見る

Bringing Out the Algebraic Character of Arithmetic contributes to a growing body of research relevant to efforts to make algebra an integral part of early mathematics instruction, an area of studies……続きを見る

From the acclaimed author of A Tour of the Calculus and The Advent of the Algorithm, here is a riveting look at mathematics that reveals a hidden world in some of its most fundamental concepts. In h……続きを見る