Cover Image

On the Number of Real Types of Univariate Polynomials

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Faroß, Nicolas, Sturm, Thomas
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

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)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

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

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

Reading Rational Univariate Representations on lexicographic Groebner bases
by: Demin, Alexander, et al.
Published: (2024)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

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

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
by: Vu, Thi Xuan
Published: (2025)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
by: Dwivedi, Ashish, et al.
Published: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)

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

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
by: Huang, Bo, et al.
Published: (2024)

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

Solving Polynomial Systems with Gröbner Bases: An Introduction to F4 and FGLM
by: Bigatti, Anna Maria, et al.
Published: (2025)

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

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

A New Bound on Cofactors of Sparse Polynomials
by: Nahshon, Ido, et al.
Published: (2023)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
by: Bournez, Olivier, et al.
Published: (2026)

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
by: Furue, Hiroki, et al.
Published: (2021)

Simultaneous Rational Number Codes: Decoding Beyond Half the Minimum Distance with Multiplicities and Bad Primes
by: Abbondati, Matteo, et al.
Published: (2025)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Improving NLSAT for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
by: Erascu, Madalina, et al.
Published: (2026)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
by: Vu, Thi Xuan
Published: (2026)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)