VERA 8 (Mathematik)