:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Mohr, Rafael, Mukhina, Yulia
Formato:	Preprint
Publicado:	2025
Materias:	Symbolic Computation
Acceso en línea:	https://arxiv.org/abs/2502.05015
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

A Syzygial Method for Equidimensional Decomposition
por: Mohr, Rafael
Publicado: (2024)

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

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

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

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

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

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

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

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

Quantifier Elimination Meets Treewidth
por: Wu, Hao, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

Computing braids from approximate data
por: Guillemot, Alexandre, et al.
Publicado: (2026)

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

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

Computing Clipped Products
por: Norman, Arthur C., et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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