Pages that link to "Item:Q1930188"
From MaRDI portal
The following pages link to Bounds on factors in \(\mathbb Z[x]\) (Q1930188):
Displayed 4 items.
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
- Certifying Irreducibility in $${\mathbb Z}[x]$$ (Q5041081) (← links)
- Methodologies of Symbolic Computation (Q6163846) (← links)