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


Formal Proof

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

We’re on a mission to help every student learn math and love learning math.

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