4篇
您的检索式：作者名="FENG RuYong"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant显示文摘In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method. | FENG RuYong YU JianPing | 2008 | Science China Mathematics2008，51，10： | 1 |
| 2 | Prognostic significance of the co?expression of nucleophosmin and trefoilfactor 3 in postoperative gastric cancer patients显示文摘 | Yong Li Zhenqing Sun Kewei Liu Wensheng Qiu Ruyong Yao Tongtong Feng Chao Xin Lu Yue | 2014 | Molecular and Clinical Oncology2014，，6： | 1 |
| 3 | ON FUNCTIONAL DECOMPOSITION OF MULTIVARIATE POLYNOMIALS WITH DIFFERENTIATION AND HOMOGENIZATION显示文摘This paper gives a theoretical analysis for the algorithms to compute functional decomposition for multivariate polynomials based on differentiation and homogenization which were proposed by Ye,Dai,and Lam(1999) and were developed by Faugere,Perret(2006,2008,2009).The authors show that a degree proper functional decomposition for a set of randomly decomposable quartic homogenous polynomials can be computed using the algorithm with high probability.This solves a conjecture proposed by Ye,Dai,and Lam(1999).The authors also propose a conjecture which asserts that the decomposition for a set of polynomials can be computed from that of its homogenization and show that the conjecture is valid with high probability for quartic polynomials.Finally,the authors prove that the right decomposition factors for a set of polynomials can be computed from its right decomposition factor space. | Shangwei ZHAO Ruyong FENG Xiao-Shan GAO | 2012 | Journal of Systems Science & Complexity2012，25，2： | 0 |
| 4 | Descent of Ordinary Differential Equations with Rational General Solutions显示文摘Let F be an irreducible differential polynomial over k(t)with k being an algebraically closed field of characteristic zero.The authors prove that F=0 has rational general solutions if and only if the differential algebraic function field over k(t)associated to F is generated over k(t)by constants,i.e.,the variety defined by F descends to a variety over k.As a consequence,the authors prove that if F is of first order and has movable singularities then F has only finitely many rational solutions. | FENG Shuang FENG Ruyong | 2020 | Journal of Systems Science & Complexity2020，33，6： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员