Lazy Bird : A purely functional language
A little home made language based on logical combinators
Last updated : 2017-10-29 07:43:56
Hyperbolic geometry
Last updated : 2020-01-28 11:01:52
The exponential map
Last updated : 2020-03-05 15:00:40
Filippov's differential inclusion
Last updated : 2020-03-18 15:03:40
Contour integrals and distribution theory
Last updated : 2020-09-07 11:11:24
The many faces of projective objects
Last updated : 2021-11-18 14:04:56
All about $1$-manifolds
Last updated : 2021-12-16 15:28:30
Bitensors
A rigorous derivation of bitensors
Last updated : 2022-05-23 13:12:57