- Computing with Hypergeometric-Type Terms Bertrand Teguia Tabuguia Wed 21 August 2024
- Explicit Commutative ROABPs from Partial Derivatives Vishwas Bhargava Anamay Tengse Wed 24 July 2024
- Word-Mappings of level 3 G. Sénizergues Thu 12 October 2023
- The Extended Theory of Trees and Algebraic (Co)datatypes Fabian Zaiser C. -H. Luke Ong Tue 19 May 2020
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A