小明发明了一种新的公式可以更快的计算一元二次方程，他就此公式享有著作权