"15" Result
Sort By:
Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.
This book presents methods that exploit sparsity to help recover the underlying signal in a set of data. Top experts in this rapidly evolving field, the authors describe the lasso for linear regression and a simple coordinate descent algorithm for its computation.
This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from d…
This book prepares students for the more abstract mathematics courses that follow calculus. The author introduces students to proof techniques, analyzing proofs, and writing proofs of their own. It also provides a solid introduction to such topics as relations, functions, and ca…
"Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory." "This book provides a pragmatic introduction to the development…
