The following pages link to (Q4282674):
Displaying 44 items.
- Determining the limits of bivariate rational functions by Sturm's theorem (Q2000289) (← links)
- Solving the equality-constrained minimization problem of polynomial functions (Q2010089) (← links)
- A proximal DC approach for quadratic assignment problem (Q2028476) (← links)
- The second discriminant of a univariate polynomial (Q2037537) (← links)
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
- A logic and computation for Popper's conditional probabilities (Q2146066) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- An inexact proximal DC algorithm with sieving strategy for rank constrained least squares semidefinite programming (Q2148144) (← links)
- Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity (Q2188990) (← links)
- Facility location problems: a parameterized view (Q2275913) (← links)
- Bifurcation analysis on a class of three-dimensional quadratic systems with twelve limit cycles (Q2286105) (← links)
- A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Center conditions in a switching Bautin system (Q2343533) (← links)
- Subresultants in multiple roots: an extremal case (Q2361559) (← links)
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases (Q2364885) (← links)
- Identification of focus and center in a 3-dimensional system (Q2438863) (← links)
- Determination of the limits for multivariate rational functions (Q2445506) (← links)
- Algebraic closure of a rational function (Q2457730) (← links)
- Computing the asymptotes for a real plane algebraic curve (Q2464500) (← links)
- Identification of Pareto-improving policies: Information as the real invisible hand (Q2469550) (← links)
- Computations of multi-resultant with mechanization (Q2572016) (← links)
- Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)
- Difference Algebra (Q3053882) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Twelve Limit Cycles in 3D Quadratic Vector Fields with Z3 Symmetry (Q4555016) (← links)
- On polynomial semantics for propositional logics (Q4586158) (← links)
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks (Q4627647) (← links)
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES (Q4871659) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- Ascending chains of ideals in the polynomial ring (Q5099835) (← links)
- Thomas Decomposition and Nonlinear Control Systems (Q5118404) (← links)
- Cylinders Through Five Points: Complex and Real Enumerative Geometry (Q5453486) (← links)
- Globally Optimizing Small Codes in Real Projective Spaces (Q5854456) (← links)
- A chain rule for subresultants (Q5928472) (← links)
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal (Q5937882) (← links)
- New algorithms for the perspective-three-point problem (Q5942695) (← links)
- On the links between triangular sets and dynamic constructible closure (Q5946465) (← links)
- The testable implications of competitive equilibrium in economies with externalities (Q5962160) (← links)
- Computing the topology of the image of a parametric planar curve under a birational transformation (Q6046143) (← links)
- The invertibility of rational univariate representations (Q6052531) (← links)
- Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals (Q6116524) (← links)
