Ruyong Feng

39 papers B 7Journal 30Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving.
CoRR
Ruichen Qiu, Yichuan Cao, Junqi Liu, Dakai Guo, Xiao-Shan Gao, Lihong Zhi, Ruyong Feng
2025 J jnl
Rational First Integrals of Separable Differential Equations.
Math. Comput. Sci.
Ruyong Feng, Zewang Guo, Siting Xiong
2024 B conf
Parallel Summation in P-Recursive Extensions.
ISSAC
Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
2024 J jnl
Towards a Parallel Summation Algorithm.
CoRR
Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li
2023 B conf
Stability Problems on D-finite Functions.
ISSAC
Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu
2023 J jnl
Stability Problems on D-finite Functions.
CoRR
Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu
2022 J jnl
Galois Groups of Linear Difference-Differential Equations.
CoRR
Ruyong Feng, Wei Lu
2022 J jnl
Quasi-equivalence of heights in algebraic function fields of one variable.
Adv. Appl. Math.
Ruyong Feng, Shuang Feng, Li-Yong Shen
2021 J jnl
Quasi-equivalence of heights in algebraic function fields of one variable.
CoRR
Ruyong Feng, Shuang Feng, Li-Yong Shen
2021 B conf
Separability Problems in Creative Telescoping.
ISSAC
Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer
2021 J jnl
Separability Problems in Creative Telescoping.
CoRR
Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer
2021 J jnl
Telescopers for differential forms with one parameter.
CoRR
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt
2020 J jnl
Descent of Ordinary Differential Equations with Rational General Solutions.
J. Syst. Sci. Complex.
Shuang Feng, Ruyong Feng
2020 J jnl
Rational Solutions of First Order Algebraic Ordinary Differential Equations.
CoRR
Ruyong Feng, Shuang Feng
2019 J jnl
Note on the construction of Picard-Vessiot rings for linear differential equations.
CoRR
Ruyong Feng
2018 J jnl
On the computation of the Galois group of linear difference equations.
Math. Comput.
Ruyong Feng
2016 J jnl
Computing the intersections of three conics according to their Jacobian curve.
J. Symb. Comput.
Ruyong Feng, Li-Yong Shen
2015 J jnl
Hrushovski's algorithm for computing the Galois group of a linear differential equation.
Adv. Appl. Math.
Ruyong Feng
2015 J jnl
On the Computation of the Galois Group of Linear Difference Equations.
CoRR
Ruyong Feng
2015 J jnl
On the existence of telescopers for mixed hypergeometric terms.
J. Symb. Comput.
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
2014 — ed.
Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks
ASCM
Ruyong Feng, Wen-shin Lee, Yosuke Sato
2014 J jnl
Parallel Telescoping and Parameterized Picard-Vessiot Theory.
CoRR
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer
2014 B conf
Parallel telescoping and parameterized Picard-Vessiot theory.
ISSAC
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer
2013 J jnl
Notes on Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation.
CoRR
Ruyong Feng
2013 J jnl
On the Structure of Compatible Rational Functions
CoRR
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
2012 J jnl
On functional decomposition of multivariate polynomials with differentiation and homogenization.
J. Syst. Sci. Complex.
Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2012 J jnl
On the Existence of Telescopers for Mixed Hypergeometric Terms
CoRR
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
2011 B conf
On the structure of compatible rational functions.
ISSAC
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
2010 J jnl
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations.
J. Symb. Comput.
Ruyong Feng, Michael F. Singer, Min Wu
2010 J jnl
Liouvillian solutions of linear difference-differential equations.
J. Symb. Comput.
Ruyong Feng, Michael F. Singer, Min Wu
2010 J jnl
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization
CoRR
Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2010 J jnl
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization.
IACR Cryptol. ePrint Arch.
Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2008 J jnl
Liouvillian Solutions of Difference-Differential Equations
CoRR
Ruyong Feng, Michael F. Singer, Min Wu
2008 J jnl
Rational solutions of ordinary difference equations.
J. Symb. Comput.
Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang
2006 J jnl
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs.
J. Symb. Comput.
Ruyong Feng, Xiao-Shan Gao
2005 B conf
Algebraic general solutions of algebraic ordinary differential equations.
ISSAC
J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao
2004 — conf
Polynomial General Solutions for First Order Autonomous ODEs.
IWMM/GIAE
Ruyong Feng, Xiao-Shan Gao
2004 B conf
Rational general solutions of algebraic ordinary differential equations.
ISSAC
Ruyong Feng, Xiao-Shan Gao
2003 J jnl
Polynomial solutions for first order ODEs with constant coefficients.
SIGSAM Bull.
Ruyong Feng, Xiao-Shan Gao