- Unified Approaches to Polynomial Identity Testing and Lower Bounds Ramprasad Saptharishi Fri 06 October 2023
- Partial Derivatives in Arithmetic Complexity and Beyond Xi Chen Neeraj Kayal Avi Wigderson Fri 06 October 2023
- Arithmetic Circuits: A Survey of Recent Results and Open Questions Amir Shpilka Amir Yehudayoff Fri 06 October 2023
- The Recursive Arrival Problem Thomas Webster Thu 05 October 2023
- A Formalization of Complete Discrete Valuation Rings and Local Fields María Inés de Frutos-Fernández Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio Thu 05 October 2023
- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata Ismael Jecker Filip Mazowiecki David Purser Thu 05 October 2023
- Acyclic Petri and Workflow Nets with Resets Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Filip Mazowiecki Henry Sinclair-Banks Thu 05 October 2023
- Bandwidth of Timed Automata: 3 Classes Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclan Thu 05 October 2023
- Inferring regular languages and ømega-languages Dana Fisman Thu 05 October 2023
- Negative Results for Equivalence Queries Dana Angluin Thu 05 October 2023
- Linear recurrence relations in the algebra of matrices and applications Rajae Ben Taher Mustapha Rachidi Thu 05 October 2023
- Linear recurrent sequences and powers of a square matrix Hacène Belbachir Farid Bencherif Thu 05 October 2023
- Linear recursive sequences and powers of matrices Zhi-Hong Sun Thu 05 October 2023
- Learning from positive and negative examples: New proof for binary alphabets Jonas Lingg Mateus de Oliveira Oliveira Petra Wolf Wed 04 October 2023
- Inductive inference, DFAs, and computational complexity Leonard Pitt Wed 04 October 2023
- Learning from Positive and Negative Examples: New Proof for Binary Alphabets Jonas Lingg Mateus de Oliveira Oliveira Petra Wolf Wed 04 October 2023
- System identification via state characterization E.Mark Gold Wed 04 October 2023
- Threshold circuits for iterated matrix product and powering Carlo Mereghetti Beatrice Palano Tue 03 October 2023
- Counting Problems Computationally Equivalent to Computing the Determinant Seinosuke Toda Tue 03 October 2023
- The complexity of verifying the characteristic polynomial and testing similarity T.M. Hoang T. Thierauf Tue 03 October 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
