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