- Matrix-by-matrix multiplication algorithm with O(N^2log2N) computational complexity for variable precision arithmetic Maciej Paszyński Sat 02 November 2024
- Computing with Hypergeometric-Type Terms Bertrand Teguia Tabuguia Wed 21 August 2024
- On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation Alexander Brandt Marc Moreno Maza Fri 14 June 2024
- Automatic Theorem Proving in Walnut Hamoon Mousavi Sat 16 December 2023
- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability Michael Cadilhac Guillermo A. Pérez Thu 14 April 2022
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
