Pages that link to "Item:Q2946517"
From MaRDI portal
The following pages link to A new algorithm for computing comprehensive Gröbner systems (Q2946517):
Displaying 28 items.
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Parametric FGLM algorithm (Q512366) (← links)
- Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals (Q512371) (← links)
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules (Q1635280) (← links)
- Computing comprehensive Gröbner systems: a comparison of two methods (Q1650394) (← links)
- Deterministic genericity for polynomial ideals (Q1680155) (← links)
- Solving the perspective-three-point problem using comprehensive Gröbner systems (Q1691955) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- Algorithms for computing greatest common divisors of parametric multivariate polynomials (Q2200294) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- On multivariate Hermitian quadratic forms (Q2319444) (← links)
- Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems (Q2319454) (← links)
- An implementation of the Lê-Teissier method for computing local Euler obstructions (Q2319462) (← links)
- Applying Gröbner basis method to multiparametric polynomial nonlinear programming (Q2332342) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Gröbner systems conversion (Q2364906) (← links)
- Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm (Q2402230) (← links)
- Multistationarity in structured reaction networks (Q2417526) (← links)
- Analyzing Boolean functions via solving parametric polynomial systems (Q2661917) (← links)
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form (Q2674009) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system (Q6139279) (← links)
- Distance to the loss of structural properties for linear systems under parametric uncertainties (Q6177551) (← links)