Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.SC

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Symbolic Computation

Authors and titles for recent submissions

  • Thu, 10 Jul 2025
  • Wed, 9 Jul 2025
  • Tue, 8 Jul 2025
  • Fri, 4 Jul 2025
  • Thu, 3 Jul 2025

See today's new changes

Total of 6 entries
Showing up to 50 entries per page: fewer | more | all

Thu, 10 Jul 2025 (showing 1 of 1 entries )

[1] arXiv:2507.06681 [pdf, other]
Title: Computing Euler products and coefficients of classical modular forms for twisted L-functions
Pascal Molin (IMJ-PRG (UMR\_7586), OURAGAN)
Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)

Wed, 9 Jul 2025

No updates for this time period.

Tue, 8 Jul 2025 (showing 3 of 3 entries )

[2] arXiv:2507.05017 (cross-list from cs.CL) [pdf, other]
Title: Verified Language Processing with Hybrid Explainability: A Technical Report
Oliver Robert Fox, Giacomo Bergami, Graham Morgan
Subjects: Computation and Language (cs.CL); Symbolic Computation (cs.SC)
[3] arXiv:2507.04045 (cross-list from math.AC) [pdf, other]
Title: Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series
Adya Musson-Leymarie
Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)
[4] arXiv:2507.03860 (cross-list from cs.LG) [pdf, html, other]
Title: Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
Comments: 22 pages, 13 figures, 4 tables, Neuro-symbolic Systems 2025
Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC)

Fri, 4 Jul 2025 (showing 1 of 1 entries )

[5] arXiv:2507.02730 (cross-list from cs.CE) [pdf, html, other]
Title: Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
Miguel Ángel de Carvalho Servia, Ilya Orson Sandoval, King Kuok (Mimi)Hii, Klaus Hellgardt, Dongda Zhang, Ehecatl Antonio del Rio Chanona
Comments: 27 pages, 8 figures
Subjects: Computational Engineering, Finance, and Science (cs.CE); Symbolic Computation (cs.SC)

Thu, 3 Jul 2025 (showing 1 of 1 entries )

[6] arXiv:2507.01878 [pdf, html, other]
Title: Generalized ODE reduction algorithm for bounded degree transformation
Shaoxuan Huang
Subjects: Symbolic Computation (cs.SC)
Total of 6 entries
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack