Cover Image

Efficient Symbolic Computation via Hash Consing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhu, Bowen, Sabharwal, Aayush, Tan, Songchen, Ma, Yingbo, Edelman, Alan, Rackauckas, Christopher
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Mathematical Software Symbolic Computation 68W30 I.1.1; G.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Computing square roots in quaternion algebras
by: Koprowski, Przemysław
Published: (2023)

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
by: Lyakhov, Dmitry A., et al.
Published: (2024)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

All elementary functions from a single binary operator
by: Odrzywołek, Andrzej
Published: (2026)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, et al.
Published: (2026)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective
by: Corless, Robert M., et al.
Published: (2025)

Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
by: Gupta, Chakshu, et al.
Published: (2026)

Computing discrete residues of rational functions
by: Arreche, Carlos E., et al.
Published: (2024)

Flat singularities of chained systems, illustrated with an aircraft model
by: Kaminski, Yirmeyahu J., et al.
Published: (2022)

Computing with Hypergeometric-Type Terms
by: Tabuguia, Bertrand Teguia
Published: (2024)

A computational approach to rational summability and its applications via discrete residues
by: Arreche, Carlos E., et al.
Published: (2025)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

Polylab: A MATLAB Toolbox for Multivariate Polynomial Modeling
by: Niu, Yi-Shuai, et al.
Published: (2026)

New Results on Periodic Golay Pairs
by: Lumsden, Tyler, et al.
Published: (2024)

An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)

Concatenations of Terms of an Arithmetic Progression
by: Luca, Florian, et al.
Published: (2022)

SubalgebraBases in Macaulay2
by: Burr, Michael, et al.
Published: (2023)

Numerically Computing Galois Groups of Minimal Problems
by: Duff, Timothy
Published: (2025)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

Computing bases in Hermite normal form of lattices of integer relations
by: Labahn, George, et al.
Published: (2026)