-
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 ]
-
Programming with Mathematica: An Introduction - Paul Wellin 电子书下载
Programming with Mathematica: An Introduction - Paul WellinPaul Wellin ...
02-05 [ computer ]
-
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 ]
-
A First Course in Mathematical Modeling 5th Edition - Frank R. Giordano, William P. Fox and Steven B. Horton 电子书下载
A First Course in Mathematical Modeling 5th Edition - Frank R. Giordano, William P. Fox and Steven B. HortonFrank R. Giordano, William P. Fox and Stev ...
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 ]
-
-
-
Mathematical Optimization in Computer Graphics and Vision - Paulo Cezar Pinto Carvalho, Luiz Henrique De Figueiredo, Jonas Gomes and Luiz Velho 电子书下载
Mathematical Optimization in Computer Graphics and Vision - Paulo Cezar Pinto Carvalho, Luiz Henrique De Figueiredo, Jonas Gomes and Luiz VelhoPaulo C ...
02-05 [ computer ]
-
-
-
-
-
Defects of Properties in Mathematics: Quantitative Characterizations 电子书下载
This book introduces a method of reasearch which can be used in various fields of mathematics. It examines, in a systematic way, ...
10-08 [ None ]
-
How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics 电子书下载
To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving meth ...
09-21 [ 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 ]
-
-
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 ]