Journal of symbolic computation. 2012;47(1):16-31. doi: 10.1016/j.jsc.2011.08.004 Q21.12025
Deciding polynomial-transcendental problems
DOI: 10.1016/j.jsc.2011.08.004
摘要 查看摘要
Journal of symbolic computation. 2012;47(1):16-31. doi: 10.1016/j.jsc.2011.08.004 Q21.12025
DOI: 10.1016/j.jsc.2011.08.004
摘要 查看摘要