Pages that link to "Item:Q5187396"
From MaRDI portal
The following pages link to Cylindrical Algebraic Decomposition I: The Basic Algorithm (Q5187396):
Displaying 50 items.
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Finding the topology of implicitly defined two algebraic plane curves (Q488901) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- The computation of polynomial greatest common divisors over an algebraic number field (Q582076) (← links)
- Some aspects of complexity in real algebraic geometry (Q582342) (← links)
- A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces (Q625206) (← links)
- On the topology of real algebraic plane curves (Q626980) (← links)
- Constructive algebra methods for the \(L_ 2\)-problem for stable linear systems (Q675268) (← links)
- Geometry and topology of parameter space: Investigating measures of robustness in regulatory networks (Q843306) (← links)
- A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930) (← links)
- Multiphase until formulas over Markov reward models: an algebraic approach (Q896909) (← links)
- Analyzing ultimate positivity for solvable systems (Q897909) (← links)
- Combinatorial complexity bounds for arrangements of curves and spheres (Q917017) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme (Q996794) (← links)
- Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- On pole assignment of linear systems by gain output feedback (Q1095086) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space (Q1105370) (← links)
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371) (← links)
- A cluster-based cylindrical algebraic decomposition algorithm (Q1105372) (← links)
- Polygonization of implicit surfaces (Q1112542) (← links)
- Computational issues in solid boundary evaluation (Q1114098) (← links)
- A polynomial-time algorithm for the topological type of real algebraic curve (Q1115496) (← links)
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- A multi-level geometric reasoning system for vision (Q1116357) (← links)
- Algebraic decomposition of regular curves (Q1116997) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- A singly exponential stratification scheme for real semi-algebraic varieties and its applications (Q1177933) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- A computational method for determining strong stabilizability of \(n\)-D systems (Q1300577) (← links)
- Examples of using dynamic constructible closure. (Q1565817) (← links)
- An efficient method for analyzing the topology of plane real algebraic curves. (Q1565839) (← links)
- Local box adjacency algorithms for cylindrical algebraic decompositions (Q1599550) (← links)
- Upper bounds for the Hausdorff dimension and stratification of an invariant set of an evolution system on a Hilbert manifold (Q1643930) (← links)
- The complexity of dominating set in geometric intersection graphs (Q1737591) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Computing the irreducible real factors and components of an algebraic curve (Q1814128) (← links)
- Parallel algorithms for arrangements (Q1907232) (← links)
- Improved mixing condition on the grid for counting and sampling independent sets (Q1955841) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- An approximate characterisation of the set of feasible trajectories for constrained flat systems (Q2165988) (← links)
- On the topology and isotopic meshing of plane algebraic curves (Q2179658) (← links)
