The following pages link to (Q4341368):
Displaying 34 items.
- Separating linear forms and rational univariate representations of bivariate systems (Q480646) (← links)
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- On the computation of an arrangement of quadrics in 3D (Q705551) (← links)
- Complexity of computation on real algebraic numbers (Q757065) (← links)
- Degree of rational mappings, and the theorems of Sturm and Tarski (Q942964) (← links)
- Sturm and Sylvester algorithms revisited via tridiagonal determinantal representations (Q989047) (← links)
- The complexity of elementary algebra and geometry (Q1096620) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals (Q1185456) (← links)
- An algebraic formula for the Euler characteristic of some semi-algebraic sets (Q1295780) (← links)
- Some speed-ups and speed limits for real algebraic geometry (Q1594829) (← links)
- On the numerical solution to two-fluid models via a cell-centered finite volume method (Q1604109) (← links)
- On solving univariate sparse polynomials in logarithmic time (Q1763426) (← links)
- Simultaneous elimination by using several tools from real algebraic geometry (Q1808663) (← links)
- Recent advances on determining the number of real roots of parametric polynomials (Q1808669) (← links)
- Efficient topology determination of implicitly defined algebraic plane curves. (Q1852882) (← links)
- Real solving for positive dimensional systems. (Q1867000) (← links)
- Systems of rational polynomial equations have polynomial size approximate zeros on the average (Q1869964) (← links)
- Algorithms to compute the topology of orientable real algebraic surfaces (Q1878477) (← links)
- A fast version of the Schur-Cohn algorithm. (Q1977142) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Numbers of relative equilibria in the planar four-vortex problem: some special cases (Q2359418) (← links)
- Maxwell's conjecture on three point charges with equal magnitudes (Q2396214) (← links)
- Computing the topology of a real algebraic plane curve whose defining equations are available only ``by values'' (Q2443066) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Deux moments dans l'histoire du Théorème d'algèbre de Ch. F. Sturm (Q3787949) (← links)
- Accurate solution of polynomial equations using Macaulay resultant matrices (Q4821046) (← links)
- Analytic expressions for the positive definite and unimodal regions of Gram-Charlier series (Q5093697) (← links)
- (Q5863789) (← links)
- Finding at least one point in each connected component of a real algebraic set defined by a single equation (Q5925972) (← links)
- Sylvester-Habicht sequences and fast Cauchy index computation (Q5929709) (← links)
- On affine complete intersections with isolated singularities. (Q5951560) (← links)
- Further exploration into the valid regions of Gram-Charlier densities (Q6136567) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
