Lixin Du

Publication Activity (10 Years)

Years Active: 2010-2025
Publications (10 Years): 21

Top Topics

Relevant Variables

Similarity Retrieval

Basis Functions

Top Venues

J. Symb. Comput.

Publications

Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
Reduction-based creative telescoping for P-recursive sequences via integral bases. J. Symb. Comput. 126 (2025)
Di Wu, Peng Zhang, Xiaorong Meng, Chen Guo, Junlong Du, Chao Zhang, Lixin Du
A Data Collection Method based on Topic Weight Hypergraph. ICBDT (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers
Hermite Reduction for D-finite Functions via Integral Bases. ISSAC (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers, Rong-Hua Wang
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases. CoRR (2023)
Shaoshi Chen, Lixin Du, Manuel Kauers
Hermite Reduction for D-finite Functions via Integral Bases. CoRR (2023)
Chen Guo, Lixin Du, Xiaorong Meng, Chao Zhang, Di Wu, Xu Li
A Layered Service Caching Method for Big Data Web Large-screen Visualization. ICBDT (2023)
Lixin Du
On the Existence of Telescopers for P-recursive Sequences. CoRR (2023)
Shaoshi Chen, Lixin Du, Hanqian Fang
Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions. CoRR (2022)
Lixin Du, Jianpeng Yuan, Meng Gan, Zhigang Li, Pan Wang, Zujun Hou, Cong Wang
A comparative study between deep learning and radiomics models in grading liver tumors using hepatobiliary phase contrast-enhanced MR images. BMC Medical Imaging 22 (1) (2022)
Tongyao Xu, Chen Guo, Lixin Du, Jiangying Xu, Peng Zhang, Xin Feng, Mingyue Li
A Method for Traditional Chinese Medicine Knowledge Graph Dynamic Construction. ICBDT (2022)
Shaoshi Chen, Lixin Du, Manuel Kauers
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. ISSAC (2021)
Shaoshi Chen, Lixin Du, Manuel Kauers
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. CoRR (2021)
Shaoshi Chen, Lixin Du, Rong-Hua Wang, Chaochao Zhu
On the existence of telescopers for rational functions in three variables. J. Symb. Comput. 104 (2021)
Mingyue Li, Lixin Du, Jiangying Xu, Chen Guo
A Hypergraph-based Method for Pharmaceutical Data Similarity Retrieval. ICBDT (2021)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral P-Recursive Sequences. CoRR (2020)
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
Integral bases for p-recursive sequences. ISSAC (2020)
Kun Ma, Kun Liu, Lixin Du
Automated Assessment and Evaluation of Contribution of Collaborative Software Engineering Development Process. APSEC (2020)
Lixin Du, Mingyue Li, Jiangying Xu
An Efficient Method for Scientific Data Retrieval Service. ICBDT (2020)
Jiangying Xu, Lixin Du, Chenyang Song, Chao Li, Zhi Ren, Bo Zhu
Big Data Service Request Prediction Based on Historical Behavior Time Series. ICBDT (2019)
Shaoshi Chen, Lixin Du, Chaochao Zhu
Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases. ISSAC (2019)
Shaoshi Chen, Lixin Du, Chaochao Zhu
Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases. CoRR (2019)
Kun Ma, Hao Teng, Lixin Du, Kun Zhang
Project-Driven Learning-by-Doing Method for Teaching Software Engineering using Virtualization Technology. iJET 9 (9) (2014)
Wei He, Lixin Du, Haiyang Wang, Li-zhen Cui
A Multi-Dimensional Measuring Model for E-travel Service in Decentralized Network. ICEE (2010)