HackerTrans
TopNewTrendsCommentsPastAskShowJobs

FranklinChen

no profile record

comments

FranklinChen
·12 giorni fa·discuss
Huh, I haven't found the weights either.
FranklinChen
·anno scorso·discuss
Whoa, Liboff, that book... I only vaguely remember it now (took QM in 1988). I took "math for mathematicians" (Math 25) instead of "math for physicists" (Math 22?), but remember my classmates who took first year "math for physicists" got eigenvectors very quickly right off the bat in the pre-published book they used https://www.cambridge.org/core/books/course-in-mathematics-f...
FranklinChen
·2 anni fa·discuss
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_20...