Pages that link to "Item:Q1878493"
From MaRDI portal
The following pages link to Canonical comprehensive Gröbner bases (Q1878493):
Displaying 25 items.
- Parametric FGLM algorithm (Q512366) (← links)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems (Q831995) (← links)
- Minimal canonical comprehensive Gröbner systems (Q1012136) (← links)
- Comprehensive Gröbner bases (Q1199704) (← links)
- A new algorithm for discussing Gröbner bases with parameters. (Q1599542) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- The Gröbner cover (Q1755631) (← links)
- Algorithms for computing greatest common divisors of parametric multivariate polynomials (Q2200294) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems (Q2319454) (← links)
- Gröbner systems conversion (Q2364906) (← links)
- Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm (Q2402230) (← links)
- Improving the DISPGB algorithm using the discriminant ideal (Q2457398) (← links)
- Gröbner bases for families of affine or projective schemes (Q2469230) (← links)
- (Q2702010) (← links)
- A Study on Gröbner Basis with Inexact Input (Q3644104) (← links)
- Minimal polynomial systems for parametric matrices (Q4908175) (← links)
- Degree reduction under specialization (Q5951562) (← links)
- Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system (Q6139279) (← links)
- A parametric \(\mathrm{F}_4\) algorithm (Q6571583) (← links)
- Improvement of an incremental signature-based comprehensive Gröbner system algorithm (Q6612108) (← links)
- A short proof for the parameter continuation theorem (Q6615414) (← links)
- Merging multiple algorithms for computing comprehensive Gröbner systems using parallel processing (Q6660342) (← links)