- Formal series and numerical integrators: some history and some new techniques Jesus Maria Sanz-Serna Ander Murua Tue 03 March 2026
- Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers Jonathan Gorard Ammar Hakim Sat 05 April 2025
- Computing with D-Algebraic Sequences Bertrand Teguia Tabuguia Tue 14 January 2025
- Recursive Solution of Initial Value Problems with Temporal Discretization Abbas Edalat Amin Farjudian Yiran Li Thu 21 September 2023
- On the Hardness of PosSLP Peter Burgisser Gorav Jindal Wed 19 July 2023
- The Complexity of Diagonalization Nikhil Srivastava Wed 24 May 2023
- On algorithmically boosting fixed-point computations Ioannis Avramopoulos Nikolaos Vasiloglou Mon 17 April 2023
- C^r-Lohner algorithm D. Wilczak P. Zgliczyński Mon 26 July 2021
- The Fundamental Theorem of Algebra made effective: an elementary real-algebraic proof via Sturm chains M. Eisermann Fri 23 November 2018
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
