The following pages link to (Q4660673):
Displaying 11 items.
- Dominance in the family of Sugeno-Weber t-norms (Q409766) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- The impact on the properties of the EFGM copulas when extending this family (Q2049225) (← links)
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities (Q2245659) (← links)
- A local Fourier convergence analysis of a multigrid method using symbolic computation (Q2252112) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)
