Cover Image

Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Corless, Robert M., Norman, Arthur C., Recio, Tomas, Turkel, William J., Watt, Stephen M.
Format:	Preprint
Published:	2025
Subjects:	General Literature 68W30 I.1.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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)

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

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

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

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

Evo* 2025 -- Late-Breaking Abstracts Volume
by: Mora, A. M., et al.
Published: (2025)

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

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
by: Su, Jiarui, et al.
Published: (2026)

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

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

How to Compute a Moving Sum
by: Maslen, David K., et al.
Published: (2025)

Evo* 2023 -- Late-Breaking Abstracts Volume
by: Mora, A. M., et al.
Published: (2024)

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

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Heckerthoughts
by: Heckerman, David
Published: (2023)

DF-DM: A foundational process model for multimodal data fusion in the artificial intelligence era
by: Restrepo, David, et al.
Published: (2024)

Massively Parallel Reductions in Multivariate Polynomial Systems: Bridging the Symbolic Preprocessing Gap on GPGPU Architectures
by: Gokavarapu, Chandrasekhar
Published: (2026)

Stealth edits to large language models
by: Sutton, Oliver J., et al.
Published: (2024)

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

Algorithm to generate ideals in a Lie algebra of matrices at any particular characteristic with Mathematica
by: Bjerregaard, Pablo Alberca, et al.
Published: (2002)

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

Customizing Graph Neural Networks using Path Reweighting
by: Chen, Jianpeng, et al.
Published: (2021)

Symbolic Model Checking in External Memory
by: Sølvsten, Steffan Christ, et al.
Published: (2025)

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

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

Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining
by: Mitchell, Rupert, et al.
Published: (2025)

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

O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
by: Khaitan, Ayush, et al.
Published: (2025)

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

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

Exascale Multi-Task Graph Foundation Models for Imbalanced, Multi-Fidelity Atomistic Data
by: Pasini, Massimiliano Lupo, et al.
Published: (2026)

The Intersectionality Problem for Algorithmic Fairness
by: Himmelreich, Johannes, et al.
Published: (2024)

Open Source Evolutionary Computation with Chips-n-Salsa
by: Cicirello, Vincent A.
Published: (2024)

Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank
by: Oki, Taihei, et al.
Published: (2022)

A Mathematical Theory of Discursive Networks
by: Gutiérrez, Juan B.
Published: (2025)

Enhancing Diversity in Multi-objective Feature Selection
by: Miyandoab, Sevil Zanjani, et al.
Published: (2024)

Improving Graph Embeddings in Machine Learning Using Knowledge Completion with Validation in a Case Study on COVID-19 Spread
by: Napoli, Rosario, et al.
Published: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
by: Darshana, Kusal
Published: (2026)

Equi-affine minimal-degree moving frames for polynomial curves
by: Hong, Hoon, et al.
Published: (2024)