The following pages link to (Q4391215):
Displaying 22 items.
- A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics (Q629354) (← links)
- A worst-case bound for topology computation of algebraic curves (Q765857) (← links)
- Products of foldable triangulations (Q875253) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- Constructing roadmaps of semi-algebraic sets. I: Completeness (Q1117992) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Homogeneous multivariate polynomials with the half-plane property (Q1432999) (← links)
- A Kochen-Specker system has at least 22 vectors (Q1670503) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Interval arithmetic in cylindrical algebraic decomposition (Q1864882) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials (Q2211187) (← links)
- Complexity of computing interval matrix powers for special classes of matrices. (Q2216226) (← links)
- On the complexity of computing with planar algebraic curves (Q2254683) (← links)
- On the Bennett-Hoeffding inequality (Q2438252) (← links)
- New bounds for the Descartes method (Q2457314) (← links)
- Exact, efficient, and complete arrangement computation for cubic curves (Q2507159) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- (Q4866989) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
- An intertwined Cauchy-Schwarz-type inequality based on a Lagrange-type identity (Q6180061) (← links)
- Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra (Q6653971) (← links)
