:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mohr, Rafael, Mukhina, Yulia
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation
Online-Zugang:	https://arxiv.org/abs/2502.05015
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Projecting dynamical systems via a support bound
von: Mukhina, Yulia, et al.
Veröffentlicht: (2025)

Support bound for differential elimination in polynomial dynamical systems
von: Mukhina, Yulia, et al.
Veröffentlicht: (2025)

A Syzygial Method for Equidimensional Decomposition
von: Mohr, Rafael
Veröffentlicht: (2024)

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

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

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
von: Yang, Jing, et al.
Veröffentlicht: (2024)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
von: Nalbach, Jasper, et al.
Veröffentlicht: (2025)

Pseudo-Complex Quantifier Elimination
von: Faroß, Nicolas, et al.
Veröffentlicht: (2026)

Regular singular Mahler equations and Newton polygons
von: Faverjon, Colin, et al.
Veröffentlicht: (2025)

Subresultants of Several Univariate Polynomials in Newton Basis
von: Wang, Weidong, et al.
Veröffentlicht: (2022)

One-Parametric Presburger Arithmetic has Quantifier Elimination
von: Mansutti, Alessio, et al.
Veröffentlicht: (2025)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Computational Explorations on Semifields
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2026)

Software Portability for Computer Algebra
von: Norman, Arthur C., et al.
Veröffentlicht: (2025)

Computing Krylov iterates in the time of matrix multiplication
von: Neiger, Vincent, et al.
Veröffentlicht: (2024)

Computing a holonomic submodule of the partial Weyl closure
von: Brochet, Hadrien
Veröffentlicht: (2026)

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

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

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

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

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

Computing braids from approximate data
von: Guillemot, Alexandre, et al.
Veröffentlicht: (2026)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
von: Garg, Abhibhav, et al.
Veröffentlicht: (2025)

Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
von: Amiri, Sayed Mahbub Hasan, et al.
Veröffentlicht: (2025)

Computing Clipped Products
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
von: Simmons, William, et al.
Veröffentlicht: (2023)

Computing basis of solutions of any Mahler equation
von: Faverjon, Colin, et al.
Veröffentlicht: (2025)

Computing the connected components of real algebraic curves
von: Rocchi, Elisabetta, et al.
Veröffentlicht: (2026)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

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

Computing change of level and isogenies between abelian varieties
von: Dequay, Antoine, et al.
Veröffentlicht: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
von: Joyce, Johnny, et al.
Veröffentlicht: (2025)

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
von: Castellanos-Joo, Jose Abel, et al.
Veröffentlicht: (2026)

Computation of classical and $v$-adic $L$-series of $t$-motives
von: Caruso, Xavier, et al.
Veröffentlicht: (2024)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
von: Kera, Hiroshi, et al.
Veröffentlicht: (2025)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
von: Pagès, Raphaël
Veröffentlicht: (2021)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
von: Bardet, Magali, et al.
Veröffentlicht: (2025)