We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for recent submissions

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

Thu, 25 Nov 2021

[1]  arXiv:2111.12210 (cross-list from cs.AI) [pdf, other]
Title: From Kepler to Newton: the Role of Explainable AI in Science Discovery
Comments: 14 pages, 8 figures, 6 tables
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

Wed, 24 Nov 2021

[2]  arXiv:2111.11680 (cross-list from math.NA) [pdf, other]
Title: Computing with B-series
Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

Tue, 23 Nov 2021

[3]  arXiv:2111.10446 (cross-list from math.AG) [pdf, other]
Title: Multiplicity structure of the arc space of a fat point
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Combinatorics (math.CO)

Mon, 22 Nov 2021

[4]  arXiv:2111.09949 [pdf, ps, other]
Title: A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix
Comments: 39 pages
Subjects: Symbolic Computation (cs.SC)

Wed, 17 Nov 2021

[5]  arXiv:2111.08569 (cross-list from math.NT) [pdf, ps, other]
Title: Isotropic vectors over global fields
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)
[6]  arXiv:2111.08558 (cross-list from math.NT) [pdf, ps, other]
Title: Solving sums of squares in global fields
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)
[7]  arXiv:2111.08205 (cross-list from cs.LO) [pdf, ps, other]
Title: A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
Authors: 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)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2111, contact, help  (Access key information)