Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
WeiterlesenA book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...
WeiterlesenThe square root of 2 is a fascinating number – if a little less famous than such mathematical stars as pi, the number e, ...
WeiterlesenThis collection of papers -- starting with a brilliant article by one of the masters of the field -- gives an excellent current ...
WeiterlesenThe present volume contains a collection of essays representing some of the recent advances in the state space method. Methods ...
WeiterlesenOne of the most intriguing questions facing modern science is the inner workings of the human brain. Functional magnetic ...
WeiterlesenThis book collects and unifies statistical models and methods that have been proposed for analyzing interval-censored failure ...
WeiterlesenRecurrent event data arise in diverse fields such as medicine, public health, insurance, social science, economics, manufacturing ...
WeiterlesenThis book reflects the progress made in the forty years since the appearance of Robinson’s revolutionary book Nonstandard ...
WeiterlesenSince The Theory of the Moiré Phenomenon was published it became the main reference book in its field. It provided for the ...
WeiterlesenThe Theory of the Top: Volume I. Introduction to the Kinematics and Kinetics of the Top is the first of a series of four ...
WeiterlesenThe invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections ...
WeiterlesenThis book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose ...
WeiterlesenTopics discussed include the prehistory of special relativity, early attempts at a relativistic theory of gravitation, the ...
WeiterlesenThis volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...
WeiterlesenThis thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...
WeiterlesenThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
WeiterlesenThe book is based on lectures given by the author over many years. The main source of problems addressed in the book are ...
WeiterlesenThis textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a ...
WeiterlesenThis survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, ...
Weiterlesen