Mark Lavin Kaltofen, E., & Lavin, M. (2010). Efficiently Certifying Non-Integer Powers. COMPUTATIONAL COMPLEXITY, 19(3), 355–366. https://doi.org/10.1007/s00037-010-0297-x