Explore >> Select a destination
|
You are here 
|
blog.jle.im | ||
| | | | |
matthewmcateer.me
|
|
| | | | | Important mathematical prerequisites for getting into Machine Learning, Deep Learning, or any of the other space | |
| | | | |
nikita-volkov.github.io
|
|
| | | | | Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? A positive integer (without the zero) to enumerate something? A vector of a specific length? Here that comes and not only with the Haskell refinement types library (on GitHub, on Hackage)! | |
| | | | |
blog.sigfpe.com
|
|
| | | | | ||
| | | | |
www.jeremykun.com
|
|
| | | This proof assumes knowledge of complex analysis, specifically the notions of analytic functions and Liouville's Theorem (which we will state below). The fundamental theorem of algebra has quite a few number of proofs (enough to fill a book!). In fact, it seems a new tool in mathematics can prove its worth by being able to prove the fundamental theorem in a different way. This series of proofs of the fundamental theorem also highlights how in mathematics there are many many ways to prove a single theorem... | ||
