Symbolic Computation

Authors and titles for January 2021

[1] arXiv:2101.00243 [pdf, html, other]

Title: Monomial-agnostic computation of vanishing ideals

Hiroshi Kera, Yoshihiko Hasegawa

Comments: 25 pages, 1 figures

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[2] arXiv:2101.00401 [pdf, other]

Title: Border basis computation with gradient-weighted normalization

Hiroshi Kera

Comments: 20 pages, 1 figure

Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG); Commutative Algebra (math.AC)

[3] arXiv:2101.01025 [pdf, other]

Title: Some fast algorithms multiplying a matrix by its adjoint

Jean-Guillaume Dumas (CASC), Clément Pernet (CASC), Alexandre Sedoglavic (CRIStAL)

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2101.01925 [pdf, other]

Title: PTOPO: Computing the Geometry and the Topology of Parametric Curves

Christina Katsamaki, Fabrice Rouillier, Elias Tsigaridas

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:2101.02142 [pdf, other]

Title: Polynomial modular product verification and its implications

Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray

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

[6] arXiv:2101.06576 [pdf, other]

Title: Telescopers for differential forms with one parameter

Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen Watt

Comments: 26 pages

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:2101.08283 [pdf, other]

Title: MultivariateApart: Generalized Partial Fractions

Matthias Heller, Andreas von Manteuffel

Comments: 30 pages, 2 tables, code available at this https URL

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

[8] arXiv:2101.11385 [pdf, other]

Title: Extensions of the AZ-algorithm and the Package MultiIntegrate

Jakob Ablinger

Comments: 25 pages

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

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

Title: Methods for computing $b$-functions associated with $μ$-constant deformations -- Case of inner modality 2 --

Katsusuke Nabeshima, Shinichi Tajima

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

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

Title: Theorem Proving and Algebra

Joseph A. Goguen

Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Martí-Oliet and José Meseguer; revised version corrects some strange characters in page xv

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

[11] arXiv:2101.03482 (cross-list from math.AC) [pdf, html, other]

Title: The Proper Basis for Polynomial Ideals

Sheng-Ming Ma

Comments: 15 pages. The length of the previous version is shortened to 15 pages in its current form

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

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

Title: Object-Level Reasoning with Logics Encoded in HOL Light

Petros Papapanagiotou (University of Edinburgh), Jacques Fleuriot (University of Edinburgh)

Comments: In Proceedings LFMTP 2020, arXiv:2101.02835

Journal-ref: EPTCS 332, 2021, pp. 18-34

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

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

Title: Multi-Source Anomaly Detection in Distributed IT Systems

Jasmin Bogatinovski, Sasho Nedelkoski

Comments: 12 pages. Presented at AIOPS 2020 workshop

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

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

Title: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)

Journal-ref: EPTCS 331, 2021

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

[15] arXiv:2101.06467 (cross-list from math-ph) [pdf, other]

Title: Weakly nonlocal Poisson brackets: tools, examples, computations

Matteo Casati, Paolo Lorenzoni, Daniele Valeri, Raffaele Vitolo

Comments: 30 pages. Keywords: Poisson bracket, Hamiltonian operator, Schouten bracket, partial differential equations, integrable systems

Journal-ref: Computer Physics Communications, 274 (2022)

Subjects: Mathematical Physics (math-ph); Symbolic Computation (cs.SC); Exactly Solvable and Integrable Systems (nlin.SI)

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

Title: Covering rational surfaces with rational parametrization images

Jorge Caravantes, J. Rafael Sendra, David Sevilla, Carlos Villarino

Comments: 16 pages. Submitted

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

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

Title: There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]

Shalosh B. Ekhad, Christoph Koutschan, Doron Zeilberger

Comments: Accompanied by a Maple package and output files that can be gotten from this https URL

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

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

Title: Accelerated Polynomial Evaluation and Differentiation at Power Series in Multiple Double Precision

Jan Verschelde

Comments: Improved the introduction, adding two citations to related work; fixed error, added table on the fluctuations of wall clock times. To appear in the Proceedings of the 2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)

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

Title: A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

Wenyuan Wu, Changbo Chen

Subjects: Numerical Analysis (math.NA); Symbolic Computation (cs.SC)