1. <code id="md54j"></code>
      <big id="md54j"><em id="md54j"></em></big>

        <code id="md54j"><nobr id="md54j"><samp id="md54j"></samp></nobr></code>
        <dfn id="md54j"><option id="md54j"><sub id="md54j"></sub></option></dfn>
        1. <th id="md54j"></th>

          Mirror operated in collaboration with local support

          Symbolic Computation

          Authors and titles for recent submissions

          [ total of 11 entries: 1-11 ]
          [ showing up to 25 entries per page: fewer | more ]

          Thu, 21 May 2020

          [1]  arXiv:2005.09916 (cross-list from cs.IT) [pdf, other]
          Title: Fast Decoding of Codes in the Rank, Subspace, and Sum-Rank Metric
          Subjects: Information Theory (cs.IT); Symbolic Computation (cs.SC)

          Wed, 20 May 2020

          [2]  arXiv:2005.09348 [pdf, other]
          Title: Pegasus: Sound Continuous Invariant Generation
          Comments: Extended version of FM'19 conference paper (this https URL)
          Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
          [3]  arXiv:2005.09512 (cross-list from cs.LG) [pdf, other]
          Title: Applying Genetic Programming to Improve Interpretability in Machine Learning Models
          Comments: 8 pages, 8 figures, submitted and accepted to 2020 IEEE Congress on Evolutionary Computation (IEEE CEC 2020). Copyright 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses
          Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

          Tue, 19 May 2020

          [4]  arXiv:2005.08536 [pdf, ps, other]
          Title: An Algebraic Model For Quorum Systems
          Comments: 15 pages, 3 algorithms
          Subjects: Symbolic Computation (cs.SC); Distributed, Parallel, and Cluster Computing (cs.DC)
          [5]  arXiv:2005.07843 [pdf, other]
          Title: Generalizing The Davenport-Mahler-Mignotte Bound -- The Weighted Case
          Authors: Vikram Sharma
          Subjects: Symbolic Computation (cs.SC)
          [6]  arXiv:2005.08129 (cross-list from cs.IR) [pdf, other]
          Title: Neural Collaborative Reasoning
          Comments: 10 pages, 5 figures
          Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

          Fri, 15 May 2020

          [7]  arXiv:2005.06659 (cross-list from cs.LO) [pdf, ps, other]
          Title: The Extended Theory of Trees and Algebraic (Co)datatypes
          Comments: full version of a paper submitted to HCVS 2020
          Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

          Tue, 12 May 2020

          [8]  arXiv:2005.04944 [pdf, ps, other]
          Title: On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $Π\mathbfΣ^*$-field extensions
          Subjects: Symbolic Computation (cs.SC)
          [9]  arXiv:2005.05261 (cross-list from cs.MS) [pdf, ps, other]
          Title: A modular extension for a computer algebra system
          Comments: in English; in Russian
          Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
          [10]  arXiv:2005.05098 (cross-list from cs.GT) [pdf, ps, other]
          Title: Positional Games and QBF: The Corrective Encoding
          Comments: Accepted for publication in the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT2020)
          Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
          [11]  arXiv:2005.04979 (cross-list from math.GR) [pdf, ps, other]
          Title: Towards Efficient Normalizers of Primitive Groups
          Authors: Sergio Siccha
          Subjects: Group Theory (math.GR); Symbolic Computation (cs.SC)
          [ total of 11 entries: 1-11 ]
          [ showing up to 25 entries per page: fewer | more ]