Buchumschlag

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shang, Weifeng, Joo, Jose Abel Castellanos, Mou, Chenqi, Kapur, Deepak
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Commutative Algebra Symbolic Computation Algebraic Geometry 14Q30 (primary) 68W30 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

An Exact Algorithm for Computing the Structure of Jordan Blocks
von: Tajima, Shinichi, et al.
Veröffentlicht: (2025)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
von: Tajima, Shinichi, et al.
Veröffentlicht: (2022)

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
von: Anokhin, Mikhail
Veröffentlicht: (2025)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2026)

A Geometric Approach to Cylindrical Algebraic Decomposition
von: Chen, Rizeng
Veröffentlicht: (2023)

On the gradient of the coefficient of the characteristic polynomial
von: Ikenmeyer, Christian
Veröffentlicht: (2025)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
von: Basson, Dirk, et al.
Veröffentlicht: (2024)

The Shift-Dimension of Multipersistence Modules
von: Chachólski, Wojciech, et al.
Veröffentlicht: (2021)

First steps towards Computational Polynomials in Lean
von: Davenport, James Harold
Veröffentlicht: (2024)

SubalgebraBases in Macaulay2
von: Burr, Michael, et al.
Veröffentlicht: (2023)

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets
von: Baldi, Lorenzo, et al.
Veröffentlicht: (2024)

Towards Verified Polynomial Factorisation
von: Davenport, James H.
Veröffentlicht: (2024)

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)

A Monadic Calculus with Episodic Flows
von: Henning, Sotirios
Veröffentlicht: (2024)

Improvements of convex-dense factorization of bivariate polynomials
von: Weimann, Martin
Veröffentlicht: (2025)

Sufficient conditions for the surjectivity of radical curve parametrizations
von: Caravantes, Jorce, et al.
Veröffentlicht: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
von: Giménez, Nardo, et al.
Veröffentlicht: (2025)

On some Exotic Cylindrical Algebraic Decompositions and Cells
von: Michel, Lucas
Veröffentlicht: (2026)

Integer multiplication is at least as hard as matrix transposition
von: Harvey, David, et al.
Veröffentlicht: (2025)

Smith Form Equivalence for Several Classes of Multivariate Polynomial Matrices
von: Chen, Zuo, et al.
Veröffentlicht: (2026)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
von: Lyakhov, Dmitry A., et al.
Veröffentlicht: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)

Arithmetic of D-Algebraic Functions
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2023)

A C implementation of the Smith massager algorithm
von: Wang, Ziwen, et al.
Veröffentlicht: (2026)

Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$
von: Berman, Yosef, et al.
Veröffentlicht: (2024)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
von: Huang, Bo, et al.
Veröffentlicht: (2024)

Halidon Rings and their Applications
von: Telveenus, Antony
Veröffentlicht: (2021)

Certified Real Eigenvalue Location
von: Solmaz, Baran, et al.
Veröffentlicht: (2026)

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

Fast computation of Riemann-Roch spaces for singular curves
von: Darkaoui, Dounia, et al.
Veröffentlicht: (2026)

Puzzle Ideals for Grassmannians
von: Mou, Chenqi, et al.
Veröffentlicht: (2024)

Computing square roots in quaternion algebras
von: Koprowski, Przemysław
Veröffentlicht: (2023)

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

A new method for reducing algebraic programs to polynomial programs
von: Maaz, Muhammad, et al.
Veröffentlicht: (2025)

D-Algebraic Functions
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2023)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
von: Ergür, Alperen A., et al.
Veröffentlicht: (2025)