- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems Margarita Korovina Nicolai Vorobjov Sat 04 February 2023
- Lecture notes on complexity of quantifier elimination over the reals Nicolai Vorobjov Fri 03 February 2023
- Factoring polynomials with rational coefficients A. K. Lenstra H. W. Lenstra L. Lovász Fri 03 February 2023
- What Can (and Can't) We Do with Sparse Polynomials Daniel S. Roche Fri 03 February 2023
- Symbolic-Numeric Factorization of Differential Operators Frédéric Chyzak Alexandre Goyer Marc Mezzarobba Fri 03 February 2023
- Testing Equality in Differential Ring Extensions Defined by PDE's and Limit Conditions Ariane Péladan-Germa Fri 03 February 2023
- A zero-test for series defined in terms of solutions to partial differential equations Joris Hoeven Fri 03 February 2023
- Testing identities of series defined by algebraic partial differential equations Ariane Péladan-Germa Fri 03 February 2023
- A Differential-Equations Approach to Functional Equivalence J. Shackell Fri 03 February 2023
- Zero-equivalence in function-fields defined by algebraic differential-equations John Shackell Fri 03 February 2023
- Algebraic Properties of the Elementary Functions of Analysis Robert H. Risch Fri 03 February 2023
- On Schanuel's Conjectures James Ax Thu 02 February 2023
- Another polynomial homomorphism Robert T. Moenck Thu 02 February 2023
- From implicit to recursive equations Joris van der Hoeven Thu 02 February 2023
- Lazy Multiplication of Formal Power Series Joris van der Hoeven Thu 02 February 2023
- FFT-like Multiplication of Linear Differential Operators Joris Van Der Hoeven Thu 02 February 2023
- The Truncated Fourier Transform and Applications Joris van der Hoeven Thu 02 February 2023
- Fast Algorithms for Manipulating Formal Power Series R. P. Brent H. T. Kung Thu 02 February 2023
- Fast evaluation of holonomic functions Joris van der Hoeven Thu 02 February 2023
- Relax, but Don't be Too Lazy Joris van der Hoeven Thu 02 February 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
