Abstract
The main purpose of formalization is to prove that two equations y(a) (z) = y, y = x(z) are Diophantine. These equations are explored in the proof of ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
