Symbolic Computation

Authors and titles for recent submissions

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

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

Authors: Hannes Bartz, Thomas Jerkovits, Sven Puchinger, Johan Rosenkilde

Subjects: Information Theory (cs.IT); Symbolic Computation (cs.SC)

[2] arXiv:2005.09348 [pdf, other]: Title: Pegasus: Sound Continuous Invariant Generation

Authors: Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

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

Authors: Leonardo Augusto Ferreira, Frederico Gadelha Guimarães, Rodrigo Silva

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)

[4] arXiv:2005.08536 [pdf, ps, other]: Title: An Algebraic Model For Quorum Systems

Authors: Alex Pellegrini, Luca Zanolini

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

Authors: Hanxiong Chen, Shaoyun Shi, Yunqi Li, Yongfeng Zhang

Comments: 10 pages, 5 figures

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[7] arXiv:2005.06659 (cross-list from cs.LO) [pdf, ps, other]: Title: The Extended Theory of Trees and Algebraic (Co)datatypes

Authors: Fabian Zaiser, C.-H. Luke Ong

Comments: full version of a paper submitted to HCVS 2020

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[8] arXiv:2005.04944 [pdf, ps, other]: Title: On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $Π\mathbfΣ^*$-field extensions

Authors: Sergei A. Abramov, Manuel Bronstein, Marko Petkovšek, Carsten Schneider

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

Authors: Migran N. Gevorkyan, Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastianov

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

Authors: Valentin Mayer-Eichberger, Abdallah Saffidine

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 ]