Pages that link to "Item:Q3014937"
From MaRDI portal
The following pages link to Quantifier Elimination over Finite Fields Using Gröbner Bases (Q3014937):
Displaying 4 items.
- Quantifier elimination in linear difference equations over Witt vectors (Q935343) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Elimination of constants from machines over algebraically closed fields (Q1361877) (← links)
- The Number of Gröbner Bases in Finite Fields (Research) (Q5118668) (← links)