frobenius-norm

Frobenius Norm Calculator, a linear algebra utility designed to compute the square root of the sum of absolute squared matrix elements. It provides a seamless user experience to help students, mathematicians, and engineers analyze matrix magnitudes, evaluate numerical stability, and perform linear algebra computations.

A Lean 4 formalization of fundamental theorems in matrix analysis, including the Courant-Fischer min-max theorem, Singular Value Decomposition (SVD), Frobenius norm properties, and the Eckart-Young theorem.

Finding real life applications for clustering algorithms for my numerical programming class. I decided to create Mel Spectrograms from audio files and compare them with Frobenius distances and cluster similar audio files together with DBSCAN algorithm.

Normalizes an input matrix using various norms and dimensions for flexible data scaling.