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 ]
Ϸ