# [Math]Algorithm Notes

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

Rotate a 3D vector on a plane

https://math.stackexchange.com/a/1681418/601445

##### 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

##### Metric

Fisher information metric

https://en.wikipedia.org/wiki/Fisher_information_metric

### 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/

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

https://www.desmos.com/

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