Pages that link to "Item:Q1012136"
From MaRDI portal
The following pages link to Minimal canonical comprehensive Gröbner systems (Q1012136):
Displaying 20 items.
- First order perturbation and local stability of parametrized systems (Q294387) (← links)
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Parametric FGLM algorithm (Q512366) (← links)
- Gröbner bases for polynomial systems with parameters (Q607062) (← links)
- Computing comprehensive Gröbner systems: a comparison of two methods (Q1650394) (← 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)
- On solving parametric polynomial systems (Q1949089) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Gröbner systems conversion (Q2364906) (← links)
- Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm (Q2402230) (← links)
- Minimal polynomial systems for parametric matrices (Q4908175) (← links)
- Cylinders Through Five Points: Complex and Real Enumerative Geometry (Q5453486) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
- On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
- An efficient method of finding new symplectic schemes for Hamiltonian mechanics problems with the aid of parametric Gröbner bases (Q6117702) (← links)
- A parametric \(\mathrm{F}_4\) algorithm (Q6571583) (← links)
- Improvement of an incremental signature-based comprehensive Gröbner system algorithm (Q6612108) (← links)
- Algorithmic detection of conserved quantities for finite-difference schemes (Q6653670) (← links)
- Comprehensive characteristic decomposition of parametric polynomial systems (Q6666527) (← links)