Modern set-theoretic techniques applied to classic problems concerning Lindelof sp...
DOMINATION, DECOMPOSITIONS AND TOPOLOGICAL GAMES IN Cp-THEORY
Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Proposal of a quantitative methodology for match analysis in invasion team sports...