Transit Least Squares: An optimized transit-fitting algorithm to search for periodic transits of small planets
hippke
A specialised computer algebra system for topos theory.
locusmath
