Copertina

Constant-Depth Arithmetic Circuits for Linear Algebra Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Andrews, Robert, Wigderson, Avi
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computational Complexity Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modular composition & polynomial GCD in the border of small, shallow circuits
di: Andrews, Robert, et al.
Pubblicazione: (2025)

Hilbert's Nullstellensatz is in the Counting Hierarchy
di: Andrews, Robert, et al.
Pubblicazione: (2026)

Fast interpolation and multiplication of unbalanced polynomials
di: Giorgi, Pascal, et al.
Pubblicazione: (2024)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
di: Dwivedi, Ashish, et al.
Pubblicazione: (2024)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
di: Garg, Abhibhav, et al.
Pubblicazione: (2025)

Matrices with displacement structure: a deterministic approach for linear systems and nullspace bases
di: Khichane, Sara, et al.
Pubblicazione: (2026)

Fast polynomial computations with space constraints
di: Grenet, Bruno
Pubblicazione: (2025)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
di: Bournez, Olivier, et al.
Pubblicazione: (2026)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
di: Fruehwirth, Thom
Pubblicazione: (2023)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

A quasi-optimal lower bound for skew polynomial multiplication
di: Chen, Qiyuan, et al.
Pubblicazione: (2024)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
di: Vu, Thi Xuan
Pubblicazione: (2025)

A New Bound on Cofactors of Sparse Polynomials
di: Nahshon, Ido, et al.
Pubblicazione: (2023)

On the complexity of Chow and Hurwitz forms
di: Doğan, Mahmut Levent, et al.
Pubblicazione: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
di: Paouris, Grigoris, et al.
Pubblicazione: (2019)

Quantifier Elimination Meets Treewidth
di: Wu, Hao, et al.
Pubblicazione: (2026)

Identity Testing for Radical Expressions
di: Balaji, Nikhil, et al.
Pubblicazione: (2022)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
di: Hofstadler, Clemens, et al.
Pubblicazione: (2026)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Trinomials and Deterministic Complexity Limits for Real Solving
di: Boniface, Emma, et al.
Pubblicazione: (2022)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
di: Vompa, Enrico, et al.
Pubblicazione: (2026)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
di: Verschelde, Jan, et al.
Pubblicazione: (2024)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
di: Sule, Virendra
Pubblicazione: (2023)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
di: de Freitas, Iago Leal, et al.
Pubblicazione: (2025)

Software Portability for Computer Algebra
di: Norman, Arthur C., et al.
Pubblicazione: (2025)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

A Theoretical Review on Solving Algebra Problems
di: Yu, Xinguo, et al.
Pubblicazione: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
di: Finkelstein, Edward
Pubblicazione: (2024)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
di: Huang, Wei-Jia, et al.
Pubblicazione: (2026)

Integer multiplication is at least as hard as matrix transposition
di: Harvey, David, et al.
Pubblicazione: (2025)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
di: Caruso, Xavier, et al.
Pubblicazione: (2026)

Symmetric Division of Linear Ordinary Differential Operators
di: Du, Lixin, et al.
Pubblicazione: (2025)

Positivity Proofs for Linear Recurrences through Contracted Cones
di: Ibrahim, Alaa, et al.
Pubblicazione: (2024)

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
di: Ibrahim, Alaa
Pubblicazione: (2025)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
di: Caruso, Xavier, et al.
Pubblicazione: (2026)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
di: Buchacher, Manfred, et al.
Pubblicazione: (2024)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
di: Hofstadler, Clemens, et al.
Pubblicazione: (2025)