Wu-Ritt’s相关论文
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determi
In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in diff......
