3 papers
cs.SC2026
Degree bounds for linear differential equations and recurrences
Louis Gaillard
Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with…
cs.SC2025
A unified approach for degree bound estimates of linear differential operators
Louis Gaillard
We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce…
cs.SC2025
Solving parameter-dependent semi-algebraic systems
Louis Gaillard, Mohab Safey El Din
We consider systems of polynomial equations and inequalities in where and $\boldsymbol{y} = (y_1,…