J. van der Hoeven and G. Lecerf. Implementing number theoretic transforms. Technical Report, HAL, 2024. https://hal.science/hal-04841449.

J. van der Hoeven and G. Lecerf. Faster multi-point evaluation over any field. Technical Report, HAL, 2024. https://hal.science/hal-04774026.

M. Aschenbrenner, L. van den Dries, and J. van der Hoeven. Relative differential closure in Hardy fields. Technical Report, 2024. https://arxiv.org/pdf/2412.10764.pdf, accepted for publication in Monatshefte für Mathematik.

A. Ahlbäck and F. Johansson. Fast basecases for arbitrary-size multiplication. Technical Report, HAL, 2025. https://hal.science/hal-04861755.

D. Harvey and J. van der Hoeven. Integer multiplication is as least as hard as matrix transposition. Technical Report, HAL, 2025. https://hal.science/hal-05010950.

J. van der Hoeven and G. Lecerf. Towards a library for straight-line programs. Technical Report, HAL, 2025. https://hal.science/hal-05075591.

J. van der Hoeven, G. Lecerf, and A. Minondo. Static bounds for straight-line programs. Technical Report, HAL, 2025. https://hal.science/hal-05105518.

J. van der Hoeven and G. Lecerf. Contact arithmetic. Technical Report, HAL, 2025. https://hal.science/hal-05115295.