:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mohr, Rafael, Mukhina, Yulia
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	https://arxiv.org/abs/2502.05015
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Projecting dynamical systems via a support bound
by: Mukhina, Yulia, et al.
Published: (2025)

Support bound for differential elimination in polynomial dynamical systems
by: Mukhina, Yulia, et al.
Published: (2025)

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

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
by: Berthomieu, Jérémy, et al.
Published: (2024)

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

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

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

Pseudo-Complex Quantifier Elimination
by: Faroß, Nicolas, et al.
Published: (2026)

Regular singular Mahler equations and Newton polygons
by: Faverjon, Colin, et al.
Published: (2025)

Subresultants of Several Univariate Polynomials in Newton Basis
by: Wang, Weidong, et al.
Published: (2022)

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

Quantifier Elimination Meets Treewidth
by: Wu, Hao, et al.
Published: (2026)

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

Software Portability for Computer Algebra
by: Norman, Arthur C., et al.
Published: (2025)

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

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

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

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

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

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
by: Hong, Hoon, et al.
Published: (2023)

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

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

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
by: Garg, Abhibhav, et al.
Published: (2025)

Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

Computing Clipped Products
by: Norman, Arthur C., et al.
Published: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
by: Simmons, William, et al.
Published: (2023)

Computing basis of solutions of any Mahler equation
by: Faverjon, Colin, et al.
Published: (2025)

Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)

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

Modular Algorithms For Computing Gröbner Bases in Free Algebras
by: Hofstadler, Clemens, et al.
Published: (2025)

Computing change of level and isogenies between abelian varieties
by: Dequay, Antoine, et al.
Published: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
by: Castellanos-Joo, Jose Abel, et al.
Published: (2026)

Computation of classical and $v$-adic $L$-series of $t$-motives
by: Caruso, Xavier, et al.
Published: (2024)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
by: Pagès, Raphaël
Published: (2021)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
by: Bardet, Magali, et al.
Published: (2025)