[GSoC 2026] Transeries and ODE asymtotic solver

[Juan Manuel]

Hi everyone,

 My name is Juan Manuel Flores. 

I am a 4th-year double degree student in Mathematics and Computer Science at Universitat Politecnica de Valencia. I am currently working on my GSoC proposal and would greatly appreciate your feedback: https://www.overleaf.com/read/ztbypfhxksbm#cf5115 

The project I am proposing consists of implementing a lazy transseries engine, providing a formal series field that allows for the computation of asymptotic solutions for nonlinear ODEs. 

I previously asked about the suitability of this feature in discussion #28827, and the positive feedback encouraged me to develop this architecture. Since this is my first time applying, I would love to know if the technical formatting, the architectural explanations (especially regarding state bifurcation and memory management), or the proposed timeline align well with SymPy's standards and expectations. 

Thank you for your time and guidance. 

Best regards, Juan Manuel Flores