We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for cs.SC in Oct 2021

[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]
[1]  arXiv:2110.08354 [pdf, other]
Title: Faster Modular Composition
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)
[2]  arXiv:2110.12933 [pdf, ps, other]
Title: Computing elements of certain form in ideals to prove properties of operators
Comments: 24 pages
Subjects: Symbolic Computation (cs.SC)
[3]  arXiv:2110.13743 [pdf, ps, other]
Title: Towards a Theory of Domains for Harmonic Functions and its Symbolic Counterpart
Comments: arXiv admin note: text overlap with arXiv:2009.05125
Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO)
[4]  arXiv:2110.02022 (cross-list from cs.CR) [pdf, other]
Title: VESPo: Verified Evaluation of Secret Polynomials
Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)
[5]  arXiv:2110.06336 (cross-list from cs.DS) [pdf, other]
Title: The VLSAT-2 Benchmark Suite
Authors: Pierre Bouvier (CONVECS ), Hubert Garavel (CONVECS )
Comments: arXiv admin note: substantial text overlap with arXiv:2011.11049
Subjects: Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)
[6]  arXiv:2110.06397 (cross-list from cs.SE) [pdf]
Title: An Overview of Ontologies and Tool Support for COVID-19 Analytics
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Symbolic Computation (cs.SC)
[7]  arXiv:2110.08362 (cross-list from cs.PL) [pdf, other]
Title: Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[8]  arXiv:2110.09026 (cross-list from cs.AI) [pdf, ps, other]
Title: Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[9]  arXiv:2110.09036 (cross-list from cs.CL) [pdf]
Title: Ranking Facts for Explaining Answers to Elementary Science Questions
Comments: 25 pages, 5 figures, accepted for publication in NLE
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Symbolic Computation (cs.SC)
[10]  arXiv:2110.10586 (cross-list from cs.IT) [pdf, other]
Title: Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems
Subjects: Information Theory (cs.IT); Symbolic Computation (cs.SC)
[11]  arXiv:2110.01913 (cross-list from math.AG) [pdf, ps, other]
Title: Segre-Driven Radicality Testing
Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)
[12]  arXiv:2110.05082 (cross-list from math.AP) [pdf, ps, other]
Title: Computational aspects of finding a solution asymptotics for a singularly perturbed system of differential equations
Comments: 5 pages
Subjects: Analysis of PDEs (math.AP); Symbolic Computation (cs.SC)
[13]  arXiv:2110.05558 (cross-list from math.AG) [pdf, ps, other]
Title: Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[14]  arXiv:2110.11437 (cross-list from math.OC) [pdf, ps, other]
Title: An echelon form of weakly infeasible semidefinite programs and bad projections of the psd cone
Comments: to appear
Journal-ref: Foundations of Computational Mathematics, 2022
Subjects: Optimization and Control (math.OC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
[15]  arXiv:2110.13753 (cross-list from math.CO) [pdf, ps, other]
Title: On some combinatorial sequences associated to invariant theory
Comments: arXiv admin note: text overlap with arXiv:1911.10288
Journal-ref: European Journal of Combinatorics (2022)
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)