/explore
|
You are here 
|
stephenmalina.com | ||
| | | | |
francisbach.com
[AI summary] This technical blog post explores the mathematical properties of symmetric positive definite matrices, specifically focusing on the Löwner order, matrix monotonicity, and matrix convexity in the context of machine learning and optimization. |
|
| | | | | ||
| | | | |
leanprover-community.github.io
[AI summary] A technical documentation entry for the Lean mathematical library detailing definitions and operations for semimodules, modules, matrices, linear maps, and bilinear forms |
|
| | | | | ||
| | | | |
www.greaterwrong.com
I'm reviewing the books in the MIRI course list. It's been a while since I did a book review. The last book I reviewed was Computation and Logic, which I read in November. After that, I spent a few weeks brushing up on specific topics in preparation for my first MIRI math workshop. I read about half of The Logic of Provability and studied a little topology. I also worked my way through some relevant papers. After the workshop, I took some time off around the holidays and wrote a bit about my experience. I'm finally back into Study Mode. This week I finished Linear Algebra Done Right, by Sheldon Axler. |
|
| | | | | ||
| | | | |
nhigham.com
A norm on $latex \mathbb{C}^{m \times n}$ is unitarily invariant if $LATEX \|UAV\| = \|A\|$ for all unitary $latex U\in\mathbb{C}^{m \times m}$ and $latex V\in\mathbb{C}^{n\times n}$ and for all $latex A\in\mathbb{C}^{m \times n}$. One can restrict the definition to real matrices, though the term unitarily invariant is still typically used. Two widely used matrix norms... |
|
| | | |||
