- A New Zero-Test for Formal Power Series Joris van der Hoeven Thu 02 February 2023
- Effective analytic functions Joris van der Hoeven Thu 02 February 2023
- GNU TeXmacs Joris van der Hoeven Thu 02 February 2023
- Complexity of computations with Pfaffian and Noetherian functions Andrei Gabrielov Nicolai Vorobjov Thu 02 February 2023
- Complexity bounds for zero-test algorithms Joris van der Hoeven John Shackell Thu 02 February 2023
- Generalized power series solutions to linear partial differential equations Joris van der Hoeven Thu 02 February 2023
- Quasi-optimal multiplication of linear differential operators Alexandre Benoit Alin Bostan Joris van der Hoeven Thu 02 February 2023
- Overview of the Mathemagix Type System Joris van der Hoeven Thu 02 February 2023
- Toward a Model Theory for Transseries Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven Thu 02 February 2023
- Certifying Trajectories of Dynamical Systems Joris van der Hoeven Thu 02 February 2023
- Towards semantic mathematical editing Joris van der Hoeven Thu 02 February 2023
- Profinite lambda-terms and parametricity Sam van Gool Paul-André Melliès Vincent Moreau Thu 02 February 2023
- On the complexity of skew arithmetic Joris van der Hoeven Thu 02 February 2023
- Accelerated tower arithmetic Joris van der Hoeven Grégoire Lecerf Thu 02 February 2023
- Effective Power Series Computations Joris van der Hoeven Thu 02 February 2023
- Ultimate Complexity for Numerical Algorithms Joris van der Hoeven Grégoire Lecerf Thu 02 February 2023
- On the Complexity Exponent of Polynomial System Solving Joris van der Hoeven Grégoire Lecerf Thu 02 February 2023
- Constructing reductions for creative telescoping Joris van der Hoeven Thu 02 February 2023
- On the Complexity of Symbolic Computation Joris van der Hoeven Wed 01 February 2023
- Polynomial Multiplication over Finite Fields in Time O(n log n ) David Harvey Joris van der Hoeven Wed 01 February 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
