scientific article
From MaRDI portal
Publication:3316585
zbMath0533.68038MaRDI QIDQ3316585
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Interval and finite arithmetic (65G30) Real rational functions (26C15)
Related Items
Continuous amortization and extensions: with applications to bisection-based root isolation ⋮ Towards faster real algebraic numbers ⋮ Some examples for solving systems of algebraic equations by calculating Gröbner bases ⋮ The nearest polynomial with a zero in a given domain ⋮ Computer algebra: Past and future ⋮ An extension of Sturm's theorem to two dimensions ⋮ The problem of applying representative sets in problems of constructing domains of stability and quality of dynamic control systems ⋮ An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space ⋮ Computer algebra applied to itself ⋮ Algebraic decomposition of regular curves ⋮ Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander ⋮ Improved bounds for the CF algorithm ⋮ Condition number based complexity estimate for solving polynomial systems ⋮ Geometric reasoning with logic and algebra ⋮ GPU-based parallel solver via the Kantorovich theorem for the nonlinear Bernstein polynomial systems ⋮ New bounds for the Descartes method ⋮ Root refinement for real polynomials using quadratic interval refinement ⋮ Real solution isolation using interval arithmetic ⋮ On the complexity of real root isolation using continued fractions ⋮ Improved algorithms for computing determinants and resultants ⋮ Real solution isolation with multiplicity of zero-dimensional triangular systems ⋮ On the complexity of isolating real roots and computing with certainty the topological degree ⋮ A theorem on random polynomials and some consequences in average complexity ⋮ The conjugacy problem for Coxeter groups. ⋮ Sampling polynomial trajectories for LTL verification ⋮ Sign determination in residue number systems ⋮ Generic computation of the real closure of an ordered field. ⋮ Dynamic evaluation and real closure. ⋮ An algebraic algorithm to isolate complex polynomial zeros using Sturm sequences ⋮ An exact and efficient approach for computing a cell in an arrangement of quadrics ⋮ Numerical analysis of a bisection-exclusion method to find zeros of univariate analytic functions ⋮ An algorithm for isolating the real solutions of semi-algebraic systems
