Lazy Bird : A purely functional language

A little home made language based on logical combinators

Last updated : 2017-10-29 07:43:56

All about $1$-manifolds

Last updated : 2021-12-16 15:28:30

Hyperbolic geometry

Last updated : 2020-01-28 11:01:52

The exponential map

Last updated : 2020-03-05 15:00:40

Bitensors

A rigorous derivation of bitensors

Last updated : 2021-11-29 10:50:30

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