Symbolic Computation

Authors and titles for cs.SC in Jul 2020

[1]  arXiv:2007.00445 [pdf, ps, other]

Title: Error Correcting Codes, finding polynomials of bounded degree agreeing on a dense fraction of a set of points

Authors: Priyank Deshpande

Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)

[2]  arXiv:2007.02926 [pdf, ps, other]

Title: A Family of Denominator Bounds for First Order Linear Recurrence Systems

Authors: Mark van Hoeij, Moulay Barkatou, Johannes Middeke

Comments: 13 pages

Subjects: Symbolic Computation (cs.SC)

[3]  arXiv:2007.09407 [pdf, ps, other]

Title: On Algorithmic Estimation of Analytic Complexity for Polynomial Solutions to Hypergeometric Systems

Authors: Vitaly A. Krasikov

Subjects: Symbolic Computation (cs.SC); Analysis of PDEs (math.AP)

[4]  arXiv:2007.11830 [src]

Title: Groebner basis structure of ideal interpolation

Authors: Yihe Gong, Xue Jiang

Comments: "Computing Groebner bases of ideal interpolation"(arXiv:2111.07340) is the new version of this one

Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

[5]  arXiv:2007.14729 [pdf, ps, other]

Title: Formal Power Series on Algebraic Cryptanalysis

Authors: Shuhei Nakamura

Subjects: Symbolic Computation (cs.SC); Cryptography and Security (cs.CR)

[6]  arXiv:2007.05094 (cross-list from cs.MS) [pdf, other]

Title: ACORNS: An Easy-To-Use Code Generator for Gradients and Hessians

Authors: Deshana Desai, Etai Shuchatowitz, Zhongshi Jiang, Teseo Schneider, Daniele Panozzo

Journal-ref: SoftwareX, Volume 17, 2022

Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

[7]  arXiv:2007.06477 (cross-list from cs.AI) [pdf, other]

Title: Learning Reasoning Strategies in End-to-End Differentiable Proving

Authors: Pasquale Minervini, Sebastian Riedel, Pontus Stenetorp, Edward Grefenstette, Tim Rocktäschel

Comments: Proceedings of the 37th International Conference on Machine Learning (ICML 2020)

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

[8]  arXiv:2007.09304 (cross-list from cs.ET) [pdf, other]

Title: Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation to a New Level

Authors: Yuan-Hung Tsai, Jie-Hong R. Jiang, Chiao-Shan Jhang

Comments: 9 pages, 2 figures

Subjects: Emerging Technologies (cs.ET); Symbolic Computation (cs.SC); Quantum Physics (quant-ph)

[9]  arXiv:2007.09964 (cross-list from cs.LG) [pdf, other]

Title: Interpretable Control by Reinforcement Learning

Authors: Daniel Hein, Steffen Limmer, Thomas A. Runkler

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Robotics (cs.RO); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[10]  arXiv:2007.10100 (cross-list from cs.CV) [pdf, other]

Title: Computing stable resultant-based minimal solvers by hiding a variable

Authors: Snehal Bhayani, Zuzana Kukelova, Janne Heikkilä

Comments: arXiv admin note: text overlap with arXiv:1912.10268

Subjects: Computer Vision and Pattern Recognition (cs.CV); Symbolic Computation (cs.SC)

[11]  arXiv:2007.12550 (cross-list from cs.RO) [pdf, other]

Title: Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator

Authors: Pavel Trutman (CIIRC), Safey El Din Mohab (SU), Didier Henrion (LAAS), Tomas Pajdla (CIIRC)

Subjects: Robotics (cs.RO); Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[12]  arXiv:2007.13179 (cross-list from cs.CC) [pdf, ps, other]

Title: Cyclotomic Identity Testing and Applications

Authors: Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

[13]  arXiv:2007.00204 (cross-list from stat.ML) [pdf, other]

Title: Learning an arbitrary mixture of two multinomial logits

Authors: Wenpin Tang

Comments: 14 pages

Subjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[14]  arXiv:2007.00451 (cross-list from q-bio.PE) [pdf, ps, other]

Title: Improvement on Extrapolation of Species Abundance Distribution Across Scales from Moments Across Scales

Authors: Saeid Alirezazadeh, Khadijeh Alibabaei

Comments: This work is done within 2017-2019. On the date of publishing on ArXiv, Saeid Alirezazadeh is with C4 - Cloud Computing Competence Centre (C4-UBI), Universidade da Beira Interior, Covilh\~{a}, Portugal, and Khadijeh Alibabaei is with C-MAST Center for Mechanical and Aerospace Science and Technologies, University of Beira Interior, Covilh\~{a}, Portugal

Subjects: Populations and Evolution (q-bio.PE); Symbolic Computation (cs.SC)

[15]  arXiv:2007.06981 (cross-list from math.NT) [pdf, ps, other]

Title: Explicit isomorphisms of quaternion algebras over quadratic global fields

Authors: Tímea Csahók, Péter Kutas, Mickaël Montessinos, Gergely Zábrádi

Comments: 22 pages, includes implementation, characteristic 2 results put in a separate paper arXiv:2203.04068

Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[16]  arXiv:2007.08910 (cross-list from q-bio.QM) [pdf, ps, other]

Title: On the Complexity of Quadratization for Polynomial Differential Equations

Authors: Mathieu Hemery (Lifeware), François Fages (Lifeware), Sylvain Soliman (Lifeware)

Journal-ref: CMSB 2020: The 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz, Germany

Subjects: Quantitative Methods (q-bio.QM); Symbolic Computation (cs.SC)

[17]  arXiv:2007.09950 (cross-list from math.AG) [pdf, other]

Title: Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues

Authors: Shinichi Tajima, Katsusuke Nabeshima

Journal-ref: SIGMA 17 (2021), 019, 21 pages

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

[18]  arXiv:2007.13845 (cross-list from math.RT) [pdf, other]

Title: On Bergman's Diamond Lemma for Ring Theory

Authors: Takao Inoué

Comments: 15 pages

Subjects: Representation Theory (math.RT); Symbolic Computation (cs.SC)

[19]  arXiv:2007.14787 (cross-list from math.AG) [pdf, ps, other]

Title: Parameter identifiability and input-output equations

Authors: Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson

Comments: arXiv admin note: substantial text overlap with arXiv:1910.03960

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Systems and Control (eess.SY); Dynamical Systems (math.DS)

[20]  arXiv:2007.15642 (cross-list from q-bio.MN) [pdf, other]

Title: Graphical Conditions for Rate Independence in Chemical Reaction Networks

Authors: Elisabeth Degrand (Lifeware), François Fages (Lifeware), Sylvain Soliman (Lifeware)

Journal-ref: Proceedings CMSB 2020: The 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz, Germany

Subjects: Molecular Networks (q-bio.MN); Symbolic Computation (cs.SC); Quantitative Methods (q-bio.QM)