-
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology 电子书下载
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick intr ...
09-29 [ None ]
-
-
-
Mathletics : how gamblers, managers, and sports enthusiasts use mathematics in baseball, basketball, and football 电子书下载
Mathletics is a remarkably entertaining book that shows readers how to use simple mathematics to analyze a range of statistical a ...
08-29 [ None ]
-
The Latex companion, chapter 8 only (Higher mathematics) 电子书下载
This is an updated version of chapter 8 of the LaTeXCompanion reflecting changes in the AmS-LaTeXdistribution that made parts of ...
05-24 [ None ]
-
Learning SciPy for Numerical and Scientific Computing, 2nd Edition: Quick solutions to complex numerical problems in physics, applied mathematics, and science with SciPy 电子书下载
SciPy is an open source Python library used to perform scientific computing. The SciPy (Scientific Python) package extends the fu ...
06-15 [ None ]
-
Mathletics: How Gamblers, Managers, and Sports Enthusiasts Use Mathematics in Baseball, Basketball, and Football 电子书下载
Mathletics is a remarkably entertaining book that shows readers how to use simple mathematics to analyze a range of statistical a ...
08-29 [ None ]
-
Dynamics and Mission Design Near Libration Points, Volume I : Fundamentals : The Case of Collinear Libration Points (World Scientific Monograph Series in Mathematics) 电子书下载
In this book the problem of station keeping is studied for orbits near libration points in the solar system. The main focus is on ...
05-25 [ None ]
-
Approximation by Complex Bernstein and Convolution Type Operators (Concrete and Applicable Mathematics) 电子书下载
This monograph, as its first main goal, aims to study the overconvergence phenomenon of important classes of Bernstein-type opera ...
10-08 [ None ]
-
Invitation to Discrete Mathematics 2nd Edition - Jirˇ ́ı Matouˇsek and Jaroslav Neˇsetrˇil 电子书下载
Invitation to Discrete Mathematics 2nd Edition - Jirˇ ́ı Matouˇsek and Jaroslav NeˇsetrˇilJirˇ ́ı Matouˇsek and Jaroslav Neˇsetrˇil ...
02-05 [ computer ]
-
Wiley s Problems in Mathematics for IIT JEE Main and Advanced Vol I 1 Maestro Series with Summarized Concepts 电子书下载
Wiley s Problems in Mathematics for IIT JEE Main and Advanced Vol I 1 Maestro Series with Summarized Concepts ...
05-21 [ None ]
-
-
-
Decode Mathematics Advanced: Topic Tests 电子书下载
6 topic tests mapped to each Topic within the syllabus Tests formatted to resemble the NESA examination format Access to 400+ p ...
08-16 [ None ]
-
-
Wiley s Problems in Mathematics for IIT JEE Main and Advanced Vol II 2 Maestro Series with Summarized Concepts 电子书下载
Wiley s Problems in Mathematics for IIT JEE Main and Advanced Vol II 2 Maestro Series with Summarized Concepts ...
05-21 [ None ]
-
-
Whats Luck Got to Do with It?: The History, Mathematics, and Psychology of the Gamblers Illusion 电子书下载
Why do so many gamblers risk it all when they know the odds of winning are against them? Why do they believe dice are "hot" in a ...
08-29 [ None ]