Computational geometry

Drawing non layered tidy trees in linear time

Probabilistic programming

Hansei language

Symbolic computation

Wolfram language

Binomial