The following pages link to Comprehensive Gröbner bases (Q1199704):
Displaying 50 items.
- First order perturbation and local stability of parametrized systems (Q294387) (← links)
- Exploring the potential energy landscape over a large parameter-space (Q303477) (← links)
- On computing uniform Gröbner bases for ideals generated by polynomials with parametric exponents (Q328239) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← 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)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- On the computation of parametric Gröbner bases for modules and syzygies (Q623733) (← links)
- Artificial discontinuities of single-parametric Gröbner bases (Q629351) (← links)
- Boolean Gröbner bases (Q633095) (← links)
- Finding new families of rank-one convex polynomials (Q732513) (← links)
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems (Q831995) (← links)
- Linear spaces, transversal polymatroids and ASL domains (Q857751) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- On systems of algebraic equations with parametric exponents. II (Q945002) (← links)
- A parametric representation of totally mixed Nash equilibria (Q979929) (← links)
- Minimal canonical comprehensive Gröbner systems (Q1012136) (← links)
- Dynamic balancing of planar mechanisms using toric geometry (Q1030265) (← links)
- On Gröbner bases under specialization (Q1311607) (← links)
- Cohomology, stratifications and parametric Gröbner bases in characteristic zero. (Q1404417) (← links)
- An algorithm for solving partial differential parametric systems. (Q1421488) (← links)
- Computer algebra and algebraic geometry -- achievements and perspectives (Q1587227) (← links)
- A new algorithm for discussing Gröbner bases with parameters. (Q1599542) (← 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)
- An alternative approach to comprehensive Gröbner bases (Q1878492) (← links)
- Canonical comprehensive Gröbner bases (Q1878493) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- When is a polynomial ideal binomial after an ambient automorphism? (Q2007855) (← links)
- Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth (Q2051590) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Complexity of solving parametric polynomial systems (Q2256707) (← 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)
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880) (← links)
- Universal and comprehensive Gröbner bases of the classical determinantal ideal (Q2452934) (← links)
- Solving parametric polynomial systems (Q2455750) (← links)
- Comprehensive Gröbner bases and regular rings (Q2457335) (← links)
- Improving the DISPGB algorithm using the discriminant ideal (Q2457398) (← links)
