Ohphiuchus, Alpha Mathematics Library