3 papers
math.NA2026
Efficient Explicit Taylor ODE Integrators with Symbolic-Numeric Computing
Songchen Tan, Oscar Smith, Christopher Rackauckas
Taylor series methods show a newfound promise for the solution of non-stiff ordinary differential equations (ODEs) given the rise of new compiler-enhanced techniques for calculatin…
cs.PL2025
Efficient Symbolic Computation via Hash Consing
Bowen Zhu, Aayush Sabharwal, Songchen Tan +3
Symbolic computation systems suffer from memory inefficiencies due to redundant storage of structurally identical subexpressions, commonly known as expression swell, which degrades…
math.NA2025
Scalable higher-order nonlinear solvers via higher-order automatic differentiation
Songchen Tan, Keming Miao, Alan Edelman +1
This paper demonstrates new methods and implementations of nonlinear solvers with higher-order of convergence, which is achieved by efficiently computing higher-order derivatives.…