- Getting More out of Large Language Models for Proofs Shizhuo Dylan Zhang Talia Ringer Emily First Mon 05 June 2023
- Checking in Polynomial Time whether or not a Regular Tree Language is Deterministic Top-Down Sebastian Maneth Helmut Seidl Mon 05 June 2023
- Optimal Approximate Minimization of One-Letter Weighted Finite Automata Clara Lacroce Borja Balle Prakash Panangaden Guillaume Rabusseau Mon 05 June 2023
- Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Grøbner Bases Massimo Lauria Jakob Nordstrøm Mon 05 June 2023
- The category of MSO transductions Mikołaj Bojańczyk Fri 02 June 2023
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation S Akshay Paul Gastin R Govind Aniruddha R Joshi B Srivathsan Fri 02 June 2023
- Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization Masaki Waga Fri 02 June 2023
- New perspectives on exponentiated derivations, the formal Taylor theorem, and Faà di Bruno's formula Thomas J. Robinson Wed 31 May 2023
- Computing Moore-Penrose Inverses of Ore Polynomial Matrices Yang Zhang Tue 30 May 2023
- Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong Mon 29 May 2023
- Refined telescoping algorithms in RPLACEHOLDERPiPLACEHOLDERSigma-extensions to reduce the degrees of the denominators Carsten Schneider Fri 26 May 2023
- Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares Victor Magron Przemysław Koprowski Tristan Vaccon Fri 26 May 2023
- Beating binary powering for polynomial matrices Alin Bostan Vincent Neiger Sergey Yurkevich Fri 26 May 2023
- Real zeros of mixed random fewnomial systems Peter Burgisser Fri 26 May 2023
- Fast Algorithms for Discrete Differential Equations Alin Bostan Hadrien Notarantonio Mohab Safey El Din Fri 26 May 2023
- Termination of linear loops under commutative updates Ruiwen Dong Fri 26 May 2023
- Hermite Reduction for D-finite Functions via Integral Bases Shaoshi Chen Lixin Du Manuel Kauers Fri 26 May 2023
- Transcendence Certificates for D-finite Functions Manuel Kauers Christoph Koutschan Thibaut Verron Fri 26 May 2023
- Positive First-order Logic on Words and Graphs Denis Kuperberg Fri 26 May 2023
- On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation Chris Barrett Fri 26 May 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
