论文部分内容阅读
Hybrid algorithms use floating point arithmetic for speed and symbolic computation for the type of objects: formulas and exact identities and inequalities.