##########################
maths
##########################

..  toctree::
    :maxdepth: 4

    SEPLogic
    SEPQBF
    SEPAlgebra