Symbolic Computation

Authors and titles for April 2019

[1] arXiv:1904.00009 [pdf, other]

Title: Reconstructing Rational Functions with $\texttt{FireFly}$

Jonas Klappert, Fabian Lange

Comments: 46 pages, 3 figures, 6 tables; v2: matches published version

Journal-ref: Comput. Phys. Commun. 247 (2020) 106951

Subjects: Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph)

[2] arXiv:1904.02275 [pdf, other]

Title: Tropical Differential Groebner Basis

Youren Hu, Xiao-Shan Gao

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:1904.02990 [pdf, other]

Title: On the Equivalence of Automatic and Symbolic Differentiation

Soeren Laue

Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG)

[4] arXiv:1904.06796 [pdf, other]

Title: Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients

Adam Strzeboński

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:1904.10464 [pdf, other]

Title: $\mathtt{bimEX}$: A Mathematica package for exact computations in $3+1$ bimetric relativity

Francesco Torsello

Comments: 9 pages. It matches with the published version. GitHub repository at this https URL. Program files doi: this http URL

Journal-ref: Computer Physics Communications 247 (2020) 106948

Subjects: Symbolic Computation (cs.SC); Cosmology and Nongalactic Astrophysics (astro-ph.CO); Mathematical Software (cs.MS); General Relativity and Quantum Cosmology (gr-qc)

[6] arXiv:1904.11061 [pdf, other]

Title: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition

Matthew England, Dorian Florescu

Comments: Accepted into CICM 2019

Journal-ref: In: C. Kaliszyk, E. Brady, A. Kohlhase and C.C. Sacerdoti eds., Intelligent Computer Mathematics (Proceedings of CICM 2019), pp. 93-108, (Lecture Notes in Computer Science, 11617). Springer International Publishing, 2019

Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG)

[7] arXiv:1904.11614 [pdf, other]

Title: Constructing minimal telescopers for rational functions in three discrete variables

Shaoshi Chen, Qing-Hu Hou, Hui Huang, George Labahn, Rong-Hua Wang

Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO); Rings and Algebras (math.RA)

[8] arXiv:1904.11705 [pdf, other]

Title: Computing the volume of compact semi-algebraic sets

Pierre Lairez (SPECFUN), Marc Mezzarobba (PEQUAN), Mohab Safey El Din (PolSys)

Journal-ref: International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China

Subjects: Symbolic Computation (cs.SC)

[9] arXiv:1904.12912 [pdf, other]

Title: Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems

Vladimir P. Gerdt, Daniel Robertz

Subjects: Symbolic Computation (cs.SC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Rings and Algebras (math.RA)

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

Title: Exact Lower Bounds for Monochromatic Schur Triples and Generalizations

Christoph Koutschan, Elaine Wong

Comments: 24 Pages

Journal-ref: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra (Veronika Pillwein, Carsten Schneider, eds.), Texts & Monographs in Symbolic Computation, pages 223-248, Springer, 2020. ISBN 978-3-030-44558-4

Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)

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

Title: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications

Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco

Journal-ref: EPTCS 292, 2019

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[12] arXiv:1904.07668 (cross-list from cs.LO) [pdf, other]

Title: Unification and combination of a class of traversal strategies made with pattern matching and fixed-points

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner

Comments: 67 pages

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

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

Title: Improved algorithms for left factorial residues

Vladica Andrejić, Alin Bostan, Milos Tatarevic

Comments: final version, minor changes

Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)

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

Title: Unification and combination of iterative insertion strategies with rudimentary traversals and failure

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen Michel Lenczner

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

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