Symbolic Computation

Authors and titles for July 2020

[1] arXiv:2007.00445 [pdf, other]

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

Priyank Deshpande

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

[2] arXiv:2007.02926 [pdf, other]

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

Mark van Hoeij, Moulay Barkatou, Johannes Middeke

Comments: 13 pages

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:2007.09407 [pdf, other]

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

Vitaly A. Krasikov

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

[4] arXiv:2007.11830 [pdf, html, other]

Title: Groebner basis structure of ideal interpolation

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, html, other]

Title: Formal Power Series on Algebraic Cryptanalysis

Shuhei Nakamura

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

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

Title: Learning an arbitrary mixture of two multinomial logits

Wenpin Tang

Comments: 14 pages

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

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

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

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ã, Portugal, and Khadijeh Alibabaei is with C-MAST Center for Mechanical and Aerospace Science and Technologies, University of Beira Interior, Covilhã, Portugal

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

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

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

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)

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

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

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)

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

Title: Explicit isomorphisms of quaternion algebras over quadratic global fields

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)

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

Title: On the Complexity of Quadratization for Polynomial Differential Equations

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)

[12] 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

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)

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

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

Shinichi Tajima, Katsusuke Nabeshima

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

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

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

Title: Interpretable Control by Reinforcement Learning

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)

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

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

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)

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

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

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)

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

Title: Cyclotomic Identity Testing and Applications

Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell

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

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

Title: On Bergman's Diamond Lemma for Ring Theory

Takao Inoué

Comments: 15 pages

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

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

Title: Parameter identifiability and input-output equations

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

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)