Towards certified irreducibility testing of bivariate approximate polynomials.

Kosaku Nagasaka

Browse the full ISSAC paper archive.