/Orthogonal-Projection-Calculator

Calculates matrices of orthogonal projections onto subspaces of real vector spaces

Primary LanguageIdris

This repository is not active