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 ]

Wed, 28 Jul 2021

[1]  arXiv:2107.12908 [pdf, other]
Title: Digital Collections of Examples in Mathematical Sciences
Comments: Presented at 8th European Congress of Mathematicians
Subjects: Symbolic Computation (cs.SC)

Tue, 27 Jul 2021

[2]  arXiv:2107.11825 [pdf, other]
Title: Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
Comments: 24 pages, 2 tables
Subjects: Symbolic Computation (cs.SC); Optimization and Control (math.OC)

Mon, 26 Jul 2021

[3]  arXiv:2107.10924 (cross-list from math.AT) [pdf, ps, other]
Title: Compression for 2-Parameter Persistent Homology
Comments: 44 pages. arXiv admin note: text overlap with arXiv:2010.15623
Subjects: Algebraic Topology (math.AT); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

Thu, 22 Jul 2021

[4]  arXiv:2107.10034 (cross-list from cs.LO) [pdf, other]
Title: Learning Theorem Proving Components
Comments: Accepted to TABLEAUX'21
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)
[5]  arXiv:2107.10002 (cross-list from math.AG) [pdf, other]
Title: On generalizing Descartes' rule of signs to hypersurfaces
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

Wed, 21 Jul 2021

[6]  arXiv:2107.09579 (cross-list from cs.AI) [pdf, other]
Title: Semantic Reasoning with Differentiable Graph Transformations
Authors: Alberto Cetoli
Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[7]  arXiv:2107.09443 (cross-list from cs.MS) [pdf]
Title: NeuralPDE: Automating Physics-Informed Neural Networks (PINNs) with Error Approximations
Comments: 74 pages, 20+ figures, 20+ tables
Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
[ 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, 2107, contact, help  (Access key information)