Date	Updated	Title	Tags
2024-07-14	-	On denotational, operational and axiomatic semantics	computing maths
2023-09-10	2024-06-18	On the multi-dimensional chain-rule	others maths
2023-06-28	2023-06-29	On Parseval's theorem (proof)	others maths physics
2023-06-28	-	On the inverse Fourier transform (proof)	others maths physics
2023-04-05	2024-01-18	On the (real) spectral theorem	others physics maths ttm