Pages that link to "Item:Q1104314"
From MaRDI portal
The following pages link to Quantifier elimination: Optimal solution for two classical examples (Q1104314):
Displaying 23 items.
- Multiplicative noise removal in imaging: an exp-model and its fixed-point proximity algorithm (Q739474) (← links)
- Mathematical analysis of the multisolution phenomenon in the P3P problem (Q890046) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- Some lower bounds for the complexity of the linear programming feasibility problem over the reals (Q998976) (← links)
- Iterated discriminants (Q1030250) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Recent advances on determining the number of real roots of parametric polynomials (Q1808669) (← links)
- Singular solutions of a Lane-Emden system (Q2229363) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Real algebraic numbers and polynomial systems of small degree (Q2378492) (← links)
- Multiplicative noise removal with a sparsity-aware optimization model (Q2408414) (← links)
- Versal unfolding of homogeneous cubic degenerate centers in strong monodromic family (Q2656622) (← links)
- Grand unification and the Planck scale: an SO(10) example of radiative symmetry breaking (Q2678059) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)
- Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact (Q3597977) (← links)
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping (Q3597979) (← links)
- Further results on the distance and area control of planar formations (Q5020788) (← links)
- Optimization of the richardson integration over fluctuations of its step sizes (Q5203813) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- An algebraic analysis of the bimodality of the generalized von Mises distribution (Q6549214) (← links)
- Thermal oscillations and resonance in electron-phonon interaction process (Q6597368) (← links)