A Practical Extension of Computational Complexity Theory for Applications in Mathematics and Sciences. - Xie, Jingnan; Lin, Ching-Sheng; Hunt III, Harry B.; Stearns, Richard E. (Theory of Computing Systems, 2026)