@article{kaltofen_lavin_2010, title={Efficiently certifying non-integer powers}, volume={19}, DOI={10.1007/s00037-010-0297-x}, number={3}, journal={Computational Complexity}, author={Kaltofen, E. and Lavin, M.}, year={2010}, pages={355–366} }