:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Brochet, Hadrien, Chyzak, Frédéric, Lairez, Pierre
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2504.12724
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing a holonomic submodule of the partial Weyl closure
by: Brochet, Hadrien
Published: (2026)

Axioms for a theory of signature bases
by: Lairez, Pierre
Published: (2022)

Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)

Validated numerics for algebraic path tracking
by: Guillemot, Alexandre, et al.
Published: (2024)

Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach
by: Chyzak, Frédéric, et al.
Published: (2024)

First-order factors of linear Mahler operators
by: Chyzak, Frédéric, et al.
Published: (2024)

A data structure for monomial ideals with applications to signature Gröbner bases
by: Lairez, Pierre, et al.
Published: (2026)

The regular multivariate quadratic problem
by: Joux, Antoine, et al.
Published: (2025)

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

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

Effective homology and periods of complex projective hypersurfaces
by: Lairez, Pierre, et al.
Published: (2023)

Cryptanalysis of a multivariate CCZ scheme
by: Caminata, Alessio, et al.
Published: (2025)

Fast interpolation of sparse multivariate polynomials
by: van der Hoeven, Joris, et al.
Published: (2023)

Faster List Decoding of AG Codes
by: Beelen, Peter, et al.
Published: (2023)

Certificates for nonnegativity of multivariate integer polynomials under perturbations
by: Bender, Matías R, et al.
Published: (2025)

On the equivalence problem of Smith forms for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2024)

Decomposition and Preprocessing of Ternary Constraint Networks
by: Talbot, Pierre
Published: (2025)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
by: Telek, Máté L.
Published: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
by: Oaku, Toshinori
Published: (2026)

Algebraic Representations for Faster Predictions in Convolutional Neural Networks
by: Joyce, Johnny, et al.
Published: (2024)

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
by: Caruso, Xavier, et al.
Published: (2023)

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
by: Bessonov, Mariya, et al.
Published: (2022)

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

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
by: Dana-Picard, Thierry, et al.
Published: (2024)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
by: Paouris, Grigoris, et al.
Published: (2019)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
by: Bougzime, Oualid, 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)

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

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)