Symbolic Computation

Authors and titles for recent submissions

[ total of 12 entries: 1-10 | 11-12 ]
[ showing 10 entries per page: fewer | more | all ]

[1] arXiv:2405.20800 (cross-list from cs.LG) [pdf, other]: Title: Shape Constraints in Symbolic Regression using Penalized Least Squares

Authors: Viktor Martinek, Julia Reuter, Ophelia Frotscher, Sanaz Mostaghim, Markus Richter, Roland Herzog

Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[2] arXiv:2405.20745 (cross-list from cs.LO) [pdf, other]: Title: Practical Modelling with Bigraphs

Authors: Blair Archibald, Muffy Calder, Michele Sevegnani

Comments: 34 pages

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

[3] arXiv:2405.20130 [pdf, other]: Title: LinApart: optimizing the univariate partial fraction decomposition

Authors: Bakar Chargeishvili, Levente Fekésházy, Gábor Somogyi, Sam Van Thurenhout

Comments: 22 pages, 5 figures

Subjects: Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)
[4] arXiv:2405.20319 (cross-list from cs.CV) [pdf, other]: Title: ParSEL: Parameterized Shape Editing with Language

Authors: Aditya Ganeshan, Ryan Y. Huang, Xianghao Xu, R. Kenny Jones, Daniel Ritchie

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Graphics (cs.GR); Human-Computer Interaction (cs.HC); Symbolic Computation (cs.SC)

[5] arXiv:2405.19223 [pdf, ps, other]: Title: On the Problem of Separating Variables in Multivariate Polynomial Ideals

Authors: Manfred Buchacher, Manuel Kauers

Subjects: Symbolic Computation (cs.SC)
[6] arXiv:2405.18896 (cross-list from cs.LG) [pdf, other]: Title: Unit-Aware Genetic Programming for the Development of Empirical Equations

Authors: Julia Reuter, Viktor Martinek, Roland Herzog, Sanaz Mostaghim

Comments: Submitted to Conference Proceedings of PPSN2024

Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[7] arXiv:2405.18549 (cross-list from cs.LG) [pdf, other]: Title: Learning from Uncertain Data: From Possible Worlds to Possible Models

Authors: Jiongli Zhu, Su Feng, Boris Glavic, Babak Salimi

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

[8] arXiv:2405.16936 (cross-list from math.AG) [pdf, other]: Title: Construction of birational trilinear volumes via tensor rank criteria

Authors: Laurent Busé, Pablo Mazón

Comments: 30 pages, 12 figures

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[9] arXiv:2405.16179 (cross-list from math.DS) [pdf, ps, other]: Title: Network reduction and absence of Hopf Bifurcations in dual phosphorylation networks with three Intermediates

Authors: Elisenda Feliu, Nidhi Kaihnsa

Subjects: Dynamical Systems (math.DS); Symbolic Computation (cs.SC); Molecular Networks (q-bio.MN)
[10] arXiv:2405.16167 (cross-list from math.MG) [pdf, other]: Title: On the configurations of four spheres supporting the vertices of a tetrahedron

Authors: Marco Longinetti, Simone Naldi

Comments: 24 pages, 6 figures

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

[ total of 12 entries: 1-10 | 11-12 ]
[ showing 10 entries per page: fewer | more | all ]