stringology

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