Pages that link to "Item:Q2439880"
From MaRDI portal
The following pages link to Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880):
Displaying 5 items.
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- Analyzing Boolean functions via solving parametric polynomial systems (Q2661917) (← links)
- A New Method for Solving Polynomial Systems with Noise over $\mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery (Q3455484) (← links)