/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

galowicz.de
| | leanprover-community.github.io
3.4 parsecs away

Travel
| | [AI summary] A technical documentation entry for the Lean mathematical library detailing definitions and operations for semimodules, modules, matrices, linear maps, and bilinear forms
| | nhigham.com
2.8 parsecs away

Travel
| | The pseudoinverse is an extension of the concept of the inverse of a nonsingular square matrix to singular matrices and rectangular matrices. It is one of many generalized inverses, but the one most useful in practice as it has a number of special properties. The pseudoinverse of a matrix $latex A\in\mathbb{C}^{m\times n}$ is an $latex...
| | liorsinai.github.io
3.2 parsecs away

Travel
| | Derivation of the backpropagation equations for layer normalization.
| | entangledlogs.com
21.7 parsecs away

Travel
| To visualize quaternions in the fanciest way, visit Ben eater, Quaternion. Euler angles suffer from a problem of gimbal lock. When rotating around a 3-perpendicular axis in euclidean space, if either two of these axes align i.e becomes parallel, it causes gimbal lock. Once the object is locked, the object will lose one degree of freedom for rotation. This video provides an intuitive explanation of the problem. Pitfalls When converting the Euler angle to a quaternion, it will lose some information.