@article{kaltofen_lavin_2010, title={Efficiently Certifying Non-Integer Powers}, volume={19}, ISSN={["1420-8954"]}, DOI={10.1007/s00037-010-0297-x}, number={3}, journal={COMPUTATIONAL COMPLEXITY}, author={Kaltofen, Erich and Lavin, Mark}, year={2010}, month={Sep}, pages={355–366} }