@article{chen2026JSC, title = {How to generate all possible rational Wilf-Zeilberger forms?}, journal = {Journal of Symbolic Computation}, volume = {132}, pages = {102473}, year = {2026}, issn = {0747-7171}, doi = {https://doi.org/10.1016/j.jsc.2025.102473}, url = {https://www.sciencedirect.com/science/article/pii/S0747717125000550}, author = {Shaoshi Chen and Christoph Koutschan and Yisen Wang}, keywords = {Wilf-Zeilberger form, Additive Ore-Sato theorem, Hyperarithmetic expression, Orbital decomposition}, }