keywords: Math, Algorithm Notes

Category Theory

Category - Documents

Making Sense Of Category Theory
https://medium.com/@lynxluna/making-sense-of-category-theory-6f901e39fa3c

Category - Tutorials

An axiom-free formalization of category theory in Coq for personal study and practical work
https://github.com/jwiegley/category-theory

Category - Books

Programming with Categories (DRAFT)
http://brendanfong.com/programmingcats_files/cats4progs-DRAFT.pdf

Geometry

Linear Problems

Nelder–Mead method
https://en.wikipedia.org/wiki/Nelder%E2%80%93Mead_method

Angle Problems

Holomorphic function
https://en.wikipedia.org/wiki/Holomorphic_function

Conformal map
https://en.wikipedia.org/wiki/Conformal_map

Sphere & Circle

Great-circle distance
https://en.wikipedia.org/wiki/Great-circle_distance

Circles and spheres
http://paulbourke.net/geometry/circlesphere/

Determine Circle of Intersection of Plane and Sphere
https://math.stackexchange.com/a/1218805/601445

Analysis of Computing

No free lunch theorem
https://en.wikipedia.org/wiki/No_free_lunch_theorem

Tools

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.
https://github.com/coq/coq/


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