Publications - math-comp/math-comp GitHub Wiki

(contents moved and expanded on the Mathcomp homepage on 2019-07-02)