- Intuitionistic Propositional Logic in Lean Dafina Trufaş Sat 02 November 2024
- Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages Andy Yang David Chiang Dana Angluin Sat 02 November 2024
- Explorable Parity Automata Emile Hazard Olivier Idir Denis Kuperberg Sat 02 November 2024
- Matrix-by-matrix multiplication algorithm with O(N^2log2N) computational complexity for variable precision arithmetic Maciej Paszyński Sat 02 November 2024
- Automata Size Reduction by Procedure Finding Michal Šedý Lukáš Holík Sat 02 November 2024
- Improving the Leading Constant of Matrix Multiplication Josh Alman Hantao Yu Sat 02 November 2024
- Solving Polynomial Equations Over Finite Fields Holger Dell Anselm Haak Melvin Kallmayer Leo Wennmann Sat 02 November 2024
- Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) Parosh Aziz Abdulla Yo-Ga Chen Yu-Fang Chen Lukáš Holík Ondřej Lengál Jyun-Ao Lin Fang-Yi Lo Wei-Lun Tsai Sat 02 November 2024
- A Uniform Framework for Problems on Context-Free Grammars Javier Esparza Peter Rossmanith Stefan Schwoon Sat 02 November 2024
- Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence David Shannon Moss Sweedler Wed 30 October 2024
- Grobner Bases: Degree Bounds and Generic Ideals Juliane Golubinski Capaverde Tue 29 October 2024
- Functions of several noncommuting variables Joseph L. Taylor Mon 28 October 2024
- On Noncommutative Bases of Free Modules of Derivations over Polynomial Rings Ievgen Makedonskyi Sun 27 October 2024
- Commutative bases of derivations in polynomial and power series rings Andrzej Nowicki Sat 26 October 2024
- On the support of the free Lie algebra: the Schutzenberger problems Ioannis C. Michos Sat 26 October 2024
- Le support de lalgebre de lie libre G. Duchamp J.Y. Thibon Sat 26 October 2024
- An implicit function theorem for the stream calculus Michele Boreale Luisa Collodi Daniele Gorla Sat 26 October 2024
- A LOCAL View of the Polynomial Hierarchy Fabian Reiter Sat 26 October 2024
- A LOCAL View of the Polynomial Hierarchy Fabian Reiter Sat 26 October 2024
- Exact Exploration Andreas Blass Nachum Dershowitz Yuri Gurevich Sat 26 October 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
