Pages that link to "Item:Q5187396"
From MaRDI portal
The following pages link to Cylindrical Algebraic Decomposition I: The Basic Algorithm (Q5187396):
Displaying 31 items.
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Maxwell's conjecture on three point charges with equal magnitudes (Q2396214) (← links)
- Parallel computation of real solving bivariate polynomial systems by zero-matching method (Q2451343) (← links)
- Determination of the tangents for a real plane algebraic curve (Q2457373) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
- Evaluating the boundary and covering degree of planar Minkowski sums and other geometrical convolutions (Q2475344) (← links)
- An exact and efficient approach for computing a cell in an arrangement of quadrics (Q2575587) (← links)
- Boundary evaluation algorithms for Minkowski combinations of complex sets using topological analysis of implicit curves (Q2583227) (← links)
- An algorithm for generalized point location and its applications (Q2639635) (← links)
- Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic (Q2830009) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)
- Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities (Q3644091) (← links)
- (Q3696510) (← links)
- Pole assignment by output feedback using cylindrical algebraic decomposition (Q3807972) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks (Q4627647) (← links)
- A new algorithm for proving global asymptotic stability of rational difference equations (Q4899080) (← links)
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- Conormal spaces and Whitney stratifications (Q6072329) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
- Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition (Q6536548) (← links)
- Subresultants of several univariate polynomials in Newton basis (Q6650567) (← links)
