平行积分相关硕士博士期刊学术论文

本论文以数学机械化为指导思想，应用导师AC=BD模式，通过大量的理论对超越函数的初等积分存在性做了比较详细的论述。主要是在符号积......