Gilles Dowek 
Computation, Proof, Machine [PDF ebook] 
Mathematics Enters a New Age

A web map is an interactive display of geographic information, in the form of a web page, that you can use to tell stories and answer questions. Web maps have numerous advantages over traditional map …

Combinatorics, or the art and science of counting, is a vibrant and active area of pure mathematical research with many applications. The Unity of Combinatorics succeeds in showing that the many face …

The International Biometric Society (IBS) was formed at the First International Biometric Conference at Woods Hole on September 6, 1947. The History of the International Biometric Society presents a …

‘Graphs. Such a simple idea. Map a problem onto a graph then solve it by searching over the graph or by exploring the structure of the graph. What could be easier? Turns out, however, that working wi …

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/Java Script …

Many scientific and real-world problems that occur in science, engineering, and medicine can be represented in differential equations. There is a vital role for differential equations in studying the …

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

This book contains expanded versions of the talks given at the conference held in honour of professor Ky Fan in California in 1985, as well as papers on nonlinear and convex analysis as contributions …

This new book brings together the most recent trends related to AI, machine learning, and network security. The chapters cover diverse topics on machine learning algorithms and securit …