[GSoC 2026] Interest in Risch algorithm project — Yina Tang

[Ina Tang]

Hi everyone,

I'm Yina, a rising senior studying CS and Math at Grove City College. I just came across this project and wanted to reach out about working on the Risch algorithm for symbolic integration for GSoC 2026.

My math background: Abstract Algebra (one semester — groups, homomorphisms, Sylow theorems, intro to rings), Number Theory, Real Analysis, and ODEs. I code mostly in Python and have done research involving topological data analysis and machine learning, but this would be my first time contributing to a large open-source project.

I've skimmed through Chapter 1 of Bronstein's Symbolic Integration I. I'm familiar with the Euclidean algorithm, and I believe I can follow the squarefree factorization material given my Number Theory background. I haven't worked with polynomials in an Abstract Algebra context before, but I think I can pick it up. I also haven't seen differential fields before, so the later chapters are new territory — I'm working through them.

Two questions: (mostly for Aaron I believe)
- Where can I find the most up-to-date picture of what's implemented and what's left to do? (Besides https://github.com/sympy/sympy/pulls/cheatiiit)
- Is starting with an issue in the polys module a reasonable way to get familiar with the codebase, or would picking up a more closely related PR like #2034 be a better idea?

Thanks for any pointers.

Yina Tang
inata...@gmail.com
GitHub: @I7T5