Pages that link to "Item:Q1930188"

The following pages link to Bounds on factors in \(\mathbb Z[x]\) (Q1930188):

Displaying 8 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)
• Single-factor coefficient bounds (Q2643575) (← links)
• On the factorization of \(f(n)\) for \(f(x)\) in \(\mathbb Z[x]\) (Q2840301) (← links)
• On Hensel's roots and a factorization formula in \(\mathbb Z[[x]]\) (Q2926272) (← links)
• Factorization in Z[x] (Q3454736) (← links)
• Certifying Irreducibility in $${\mathbb Z}[x]$$ (Q5041081) (← links)
• Methodologies of Symbolic Computation (Q6163846) (← links)