Packages tagged math

2 packages have this tag.

Related tags: gpl (2), library (2), automaton (1), machine (1), model (1), test (1), turing (1)