An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
Fuente:
arXiv
Saved in:
| Main Authors: | Qin, Simin, Xia, Bican, Yang, Jing |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)
by: Hong, Hoon, et al.
Published: (2023)
A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024)
by: Hong, Hoon, et al.
Published: (2024)
Subresultants of Several Univariate Polynomials in Newton Basis
by: Wang, Weidong, et al.
Published: (2022)
by: Wang, Weidong, et al.
Published: (2022)
On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025)
by: Faroß, Nicolas, et al.
Published: (2025)
Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)
by: Wang, Dingkang, et al.
Published: (2024)
Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)
by: Chen, Shaoshi, et al.
Published: (2025)
A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)
by: Yang, Jing, et al.
Published: (2024)
OSVAuto: automatic proofs about functional specifications in OS verification
by: Wu, Yulun, et al.
Published: (2024)
by: Wu, Yulun, et al.
Published: (2024)
Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)
by: Corniquel, Florent
Published: (2026)
Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)
by: Li, Xiakun, et al.
Published: (2026)
Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)
by: Chen, Shaoshi, et al.
Published: (2025)
A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
by: Ding, Tianyi, et al.
Published: (2025)
by: Ding, Tianyi, et al.
Published: (2025)
Reading Rational Univariate Representations on lexicographic Groebner bases
by: Demin, Alexander, et al.
Published: (2024)
by: Demin, Alexander, et al.
Published: (2024)
Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
by: Castellanos-Joo, Jose Abel, et al.
Published: (2026)
by: Castellanos-Joo, Jose Abel, et al.
Published: (2026)
Quantifier Elimination Meets Treewidth
by: Wu, Hao, et al.
Published: (2026)
by: Wu, Hao, et al.
Published: (2026)
Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)
by: Bender, Matías, et al.
Published: (2023)
The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)
by: Donato, Joseph, et al.
Published: (2024)
Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)
by: Brown, Christopher W.
Published: (2024)
On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)
by: Buchacher, Manfred, et al.
Published: (2024)
More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)
by: Promies, Valentin, et al.
Published: (2025)
Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
by: Hong, Hoon, et al.
Published: (2023)
by: Hong, Hoon, et al.
Published: (2023)
Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)
by: Deng, Siyuan, et al.
Published: (2024)
Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
by: Pagès, Raphaël
Published: (2021)
by: Pagès, Raphaël
Published: (2021)
Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
by: Furue, Hiroki, et al.
Published: (2021)
by: Furue, Hiroki, et al.
Published: (2021)
Exploring the Meta Flip Graph for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2025)
by: Kauers, Manuel, et al.
Published: (2025)
Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2026)
by: Kauers, Manuel, et al.
Published: (2026)
Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)
by: Watt, Stephen M.
Published: (2024)
Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)
by: Kauers, Manuel, et al.
Published: (2025)
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
Flip Graphs with Symmetry and New Matrix Multiplication Schemes
by: Moosbauer, Jakob, et al.
Published: (2025)
by: Moosbauer, Jakob, et al.
Published: (2025)
Adaptive Flip Graph Algorithm for Matrix Multiplication
by: Arai, Yamato, et al.
Published: (2023)
by: Arai, Yamato, et al.
Published: (2023)
Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)
by: Wood, Isaac
Published: (2025)
An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)
by: Sakata, Kosuke, et al.
Published: (2025)
A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
by: Zeng, Zhenbing, et al.
Published: (2025)
by: Zeng, Zhenbing, et al.
Published: (2025)
A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
by: Vu, Thi Xuan
Published: (2026)
by: Vu, Thi Xuan
Published: (2026)
Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
by: Perminov, A. I.
Published: (2025)
by: Perminov, A. I.
Published: (2025)
A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)
by: Blake, Sam
Published: (2026)
Comprehensive Systems for Primary Decompositions of Parametric Ideals
by: Ishihara, Yuki, et al.
Published: (2024)
by: Ishihara, Yuki, et al.
Published: (2024)
Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)
by: Perminov, A. I.
Published: (2026)
Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
by: Huang, Bo, et al.
Published: (2024)
by: Huang, Bo, et al.
Published: (2024)
Similar Items
-
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023) -
A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2024) -
Subresultants of Several Univariate Polynomials in Newton Basis
by: Wang, Weidong, et al.
Published: (2022) -
On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025) -
Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)