:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zantema, Hans
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2407.15721
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the dimension of the solution space of linear difference equations over the ring of infinite sequences
by: Abramov, Sergei, et al.
Published: (2023)

On the integrality of some P-recursive sequences
by: Matveeva, Anastasia
Published: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

Positivity Proofs for Linear Recurrences through Contracted Cones
by: Ibrahim, Alaa, et al.
Published: (2024)

Certifying Phase Abstraction
by: Froleyks, Nils, et al.
Published: (2024)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

A Syzygial Method for Equidimensional Decomposition
by: Mohr, Rafael
Published: (2024)

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
Published: (2024)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

Case Frames and Case-Based Arguments in Statutory Interpretation
by: Araszkiewicz, Michal
Published: (2024)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)

A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
by: Rossel, Marcus, et al.
Published: (2024)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

Creative Telescoping for Hypergeometric Double Sums
by: Paule, Peter, et al.
Published: (2024)

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
by: Finkelstein, Edward
Published: (2024)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Huang, Hui
Published: (2026)