Derivative test Updated 2025-07-16
Saddle point Updated 2025-07-16
Matrix operation Updated 2025-07-16
Matrix multiplication Updated 2025-07-16
Since a matrix can be seen as a linear map , the product of two matrices can be seen as the composition of two linear maps:One cool thing about linear functions is that we can easily pre-calculate this product only once to obtain a new matrix, and so we don't have to do both multiplications separately each time.
Eigenvalues and eigenvectors Updated 2025-07-16
Kronecker product Updated 2025-07-16
Named matrix Updated 2025-07-16
BookofProofs Updated 2025-07-16
No open signup it seems. TODO CV of owner.
They are making a proof assistant to integrate into the website: github.com/bookofproofs/fpl/, reminds Ciro Santilli of website front-end for a mathematical formal proof system.
Encyclopedia of Math Updated 2025-07-16
Originally by Springer, but later moved to the European mathematical society.
Infinite Napkin Updated 2025-07-16
By Evan Chen.
MathWorld Updated 2025-07-16
Written mostly by Eric W. Weisstein.
Ciro once saw a printed version of the CRC "concise" encyclopedia of mathematics. It is about 12 cm thick. Imagine if it wasn't concise!!!
Infinite Napkin is the one-person open source replacement we needed for it! And OurBigBook.com will be the final multi-person replacement.
NLab Updated 2025-07-16
Decent encyclopedia of mathematics. Not much motivation, mostly statements though.
Created by:
PlanetMath Updated 2025-07-16
Joe Corneli, of of the contributors, mentions this in a cool-sounding "Peeragogy" context at metameso.org/~joe/:
I earned my doctorate at The Open University in Milton Keynes, with a thesis focused on peer produced support for peer learning in the mathematics domain. The main case study was planetmath.org; the ideas also informed the development of “Peeragogy”.
ProofWiki Updated 2025-07-16
MediaWiki-based.
This appears to be the creator: github.com/externl "Joe George".
Advertising Updated 2025-07-16
If a product of a big company has a catchy name it came from an acquisition Updated 2025-07-16
Meal deal Updated 2025-07-16
x.com/Birdyword/status/1777591446612193667Singaporean taxi drivers are the cutest.
A while ago a Singaporean taxi driver asked me what a UK hawker centre lunch might cost. I explained that there aren't any. He asked what office workers ate, and I explained the concept of Meal deals. And he looked at me with such a powerful combination of pity and revulsion.
Atlas (topology) Updated 2025-07-16
Collection of coordinate charts.
Covariant derivative Updated 2025-07-16
Differentiable manifold Updated 2025-07-16
There are unlisted articles, also show them or only show them.