Verify availability of math specializations