- Integer multiplication in time O(nmathrmlog, n) David Harvey Joris van der Hoeven Wed 01 February 2023
- On the intrinsic complexity of the arithmetic Nullstellensatz K. Hagele J.E. Morais L.M. Pardo M. Sombra Tue 31 January 2023
- Constructions in Algebra A. Seidenberg Tue 31 January 2023
- Exact Covers and Pattern Matching with Mismatches Juliusz Straszyński Mon 30 January 2023
- Ideal Membership in Polynomial Rings over the Integers Matthias Aschenbrenner Mon 30 January 2023
- The membership problem for unmixed polynomial ideals is solvable in single exponential time Alicia Dickenstein Noai Fitchas Marc Giusti Carmen Sessa Mon 30 January 2023
- Nearly Optimal Algorithms for Canonical Matrix Forms Mark Giesbrecht Mon 30 January 2023
- stateQIP = statePSPACE Tony Metger Henry Yuen Fri 27 January 2023
- Factor Graph Grammars David Chiang Darcey Riley Fri 27 January 2023
- Does a Program Yield the Right Distribution Mingshuai Chen Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler Fri 27 January 2023
- Model Checking Temporal Properties of Recursive Probabilistic Programs Tobias Winkler Christina Gehnen Joost-Pieter Katoen Fri 27 January 2023
- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration Tobias Winkler Joost-Pieter Katoen Fri 27 January 2023
- Exponential numbers of linear operators in normed spaces P. Enflo V.I. Gurarii V. Lomonsov Yu.I. Lyubich Thu 26 January 2023
- Two-Way Automata Versus Logarithmic Space Christos A. Kapoutsis Thu 26 January 2023
- Complementing two-way finite automata Viliam Geffert Carlo Mereghetti Giovanni Pighizzini Thu 26 January 2023
- Halting space-bounded computations Michael Sipser Thu 26 January 2023
- Asymptotics in conjugacy classes for free groups George Kenison Mon 23 January 2023
- A transfer method from bounded existential Diophantine equations to Tarski algebra formulas B. Litow Mon 23 January 2023
- A Decision Method for the Rational Sequence Problem Bruce Edward Litow Mon 23 January 2023
- Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs Patricia Bouyer Mickael Randour Pierre Vandenhove Fri 20 January 2023
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
