Yisen Wang

Orcid: 0009-0008-6352-051X

Affiliations:

KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China
Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences, Linz, Austria

According to our database¹, Yisen Wang authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs.

[BibT_eX]

[DOI]

CoRR, May, 2026

On the Summability Problem of Multivariate Rational Functions in the Mixed Case.

[BibT_eX]

[DOI]

CoRR, February, 2026

How to generate all possible rational Wilf-Zeilberger forms?

[BibT_eX]

[DOI]

Shaoshi Chen

Christoph Koutschan

Yisen Wang

J. Symb. Comput., 2026

2025

Non-minimality of minimal telescopers explained by residues.

[BibT_eX]

[DOI]

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

Yisen Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...