keywords: Math, Algorithm Notes

Category Theory

Category - Documents

Making Sense Of Category Theory

Category - Tutorials

An axiom-free formalization of category theory in Coq for personal study and practical work

Category - Books

Programming with Categories (DRAFT)


Linear Problems

Nelder–Mead method

Rotate a 3D vector on a plane

Angle Problems

Holomorphic function

Conformal map

Sphere & Circle

Great-circle distance

Circles and spheres

Determine Circle of Intersection of Plane and Sphere

Analysis of Computing

No free lunch theorem


Fisher information metric

“Knowing your own darkness is the best method for dealing with the darknesses of other people.” ― Carl Gustav Jung