SymbolicComp's profile picture. Symbolic  and algebraic manipulation, algorithms, languages and systems, applications - (new submissions to http://arxiv.org, not affiliated with arXiv)

Symbolic Computation Papers

@SymbolicComp

Symbolic and algebraic manipulation, algorithms, languages and systems, applications - (new submissions to http://arxiv.org, not affiliated with arXiv)

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures. arxiv.org/abs/2511.12664


Decomposition and Preprocessing of Ternary Constraint Networks. arxiv.org/abs/2511.11872


Views: a hardware-friendly graph database model for storing semantic information. arxiv.org/abs/2508.18123


Fast polynomial computations with space constraints. arxiv.org/abs/2511.11267


Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search. arxiv.org/abs/2511.10786


Two Constraint Compilation Methods for Lifted Planning. arxiv.org/abs/2511.10164


EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph. arxiv.org/abs/2511.05849


Terracini matroids: algebraic matroids of secants and embedded joins. arxiv.org/abs/2511.03389


On the integrality of some P-recursive sequences. arxiv.org/abs/2511.02121


The integro-differential closure of a commutative differential ring. arxiv.org/abs/2507.07889


Semantic Properties of Computations Defined by Elementary Inference Systems. arxiv.org/abs/2510.26429


Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules. arxiv.org/abs/2503.11119


Symbolic Sets for Proving Bounds on Rado Numbers. arxiv.org/abs/2505.12085


Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems. arxiv.org/abs/2110.10586


Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives. arxiv.org/abs/2508.20978


United States الاتجاهات

Loading...

Something went wrong.


Something went wrong.