Symbolic Computation

Authors and titles for November 2021

[1] arXiv:2111.03989 [pdf, other]

Title: A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions

Ruochen Dai, Tuba Yavuz

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:2111.09949 [pdf, other]

Title: A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix

Stavros Birmpilis, George Labahn, Arne Storjohann

Comments: 41 pages

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:2111.13025 [pdf, other]

Title: Quasi-equivalence of heights in algebraic function fields of one variable

Ruyong Feng, Shuang Feng, Li-Yong Shen

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2111.00384 (cross-list from cs.RO) [pdf, other]

Title: A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems

Shuto Otaki, Akira Terui, Masahiko Mikawa

Comments: 26 pages

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

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

Title: Differential elimination for dynamical models via projections with applications to structural identifiability

Ruiwen Dong, Christian Goodbrake, Heather A Harrington, Gleb Pogudin

Subjects: Algebraic Geometry (math.AG); Computational Geometry (cs.CG); Symbolic Computation (cs.SC); Systems and Control (eess.SY); Quantitative Methods (q-bio.QM)

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

Title: MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

Nicholas Hoernle, Rafael Michael Karampatsis, Vaishak Belle, Kobi Gal

Comments: Submitted to AAAI2022

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

[7] arXiv:2111.05861 (cross-list from gr-qc) [pdf, other]

Title: NRPyLaTeX: A LaTeX interface to computer algebra systems for general relativity

Kenneth J. Sible, Zachariah B. Etienne

Comments: 17 pages, 10 figures

Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Astrophysical Phenomena (astro-ph.HE); Symbolic Computation (cs.SC)

[8] arXiv:2111.06718 (cross-list from nucl-th) [pdf, other]

Title: SimpleTensor -- a user-friendly Mathematica package for elementary tensor and differential-geometric calculations

D. O. Rybalka

Comments: 13 pages

Subjects: Nuclear Theory (nucl-th); Mathematical Software (cs.MS); Symbolic Computation (cs.SC); High Energy Physics - Theory (hep-th); Computational Physics (physics.comp-ph)

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

Title: A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Lorenzo Capra (Dipartimento di Informatica, Università degli Studi di Milano)

Comments: In Proceedings AppFM 2021, arXiv:2111.07538

Journal-ref: EPTCS 349, 2021, pp. 31-49

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

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

Title: Solving sums of squares in global fields

Przemysław Koprowski

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

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

Title: Isotropic vectors over global fields

Przemysław Koprowski

Comments: New version after corrections requested by the reviewer

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

[12] arXiv:2111.10446 (cross-list from math.AG) [pdf, html, other]

Title: Multiplicity structure of the arc space of a fat point

Rida Ait El Manssour, Gleb Pogudin

Journal-ref: Alg. Number Th. 18 (2024) 947-967

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

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

Title: Computing with B-series

David I. Ketcheson, Hendrik Ranocha

Journal-ref: ACM Transactions on Mathematical Software, 2022

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

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

Title: From Kepler to Newton: Explainable AI for Science

Zelong Li, Jianchao Ji, Yongfeng Zhang

Comments: Accepted by ICML-AI4Science 2022

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

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

Title: Hypergeometric Structures in Feynman Integrals

J. Blümlein, M. Saragnese, C. Schneider

Comments: 55 pages, several anc. files

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