theoremdep-source icon indicating copy to clipboard operation
theoremdep-source copied to clipboard

Published 20 hours ago • verified publisher icon sharmaeklavya2

Linear Algebra is a mess

Open sharmaeklavya2 opened this issue 5 years ago • 1 comments

In an effort to be as formal and general as possible, I wrote theorems in the Linear Algebra section in a way that makes them very difficult to use and their proofs are complicated and the dependencies aren't arranged neatly. Of course, I realized this after the blunder was done.

I don't have the time to fix this, but I'll gladly help anyone else who wants to clean this up.

sharmaeklavya2 avatar Jul 07 '20 07:07 sharmaeklavya2

Progress on fixing:

  • [ ] Vector Spaces
  • [ ] Linear Transformation
  • [x] Inner Product Spaces
  • [ ] Matrices
  • [ ] System of Linear Equations
  • [ ] Eigenvectors

sharmaeklavya2 avatar Jun 28 '22 21:06 sharmaeklavya2