Erich Kaltofen, Lihong Zhi. Hybrid symbolic-numeric computation. In Barry M. Trager, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings. pages 7, ACM, 2006. [doi]
Abstract is missing.