stringology

Models of computation Turing machines, λ-calculus, term-rewriting and other models of what may be computed. 2017-06-18 – 2022-11-22
Bandit problems Also reinforcement learning and stochastic control 2014-11-27 – 2020-10-16
MAPLE An OK computer algebra system 2020-05-19
Syntax Formal language theory 2015-01-18 – 2016-06-22