1. Lambda Calculus Benchmark for AI (victortaelin.github.io)
  2. HEALPix (en.wikipedia.org)
  3. Paraloid B-72 (en.wikipedia.org)