# Categories

### Mathematics

- Idealized versions of Moessner's theorem and Long's theorem
- A grid of Moessner triangles
- Deriving Moessner's sieve from Horner's method
- Obtaining Taylor Polynomials with Horner's method
- A characteristic function of Moessner's sieve
- A dual to Moessner's sieve
- An introduction to Moessner's theorem and Moessner's sieve
- Rotating Pascal's triangle and the binomial coefficient
- An introduction to Pascal's triangle and the binomial coefficient
- Equivalence proof of interpretation and compilation followed by execution
- An interpreter, a compiler and a virtual machine
- An introduction to Horner's method
- A primer on the Coq Proof Assistant