James H. Davenport

This article explores a new dataset focused on inequalities in mathematics.

Examining how factoring resultants can enhance cylindrical algebraic decomposition methods.

Exploring the methods and challenges of polynomial factorization and verification.