本文从时标上指数函数ep(p∈Crd（T,R）)的显示表达式出发,利用Lebesgue△-积分理论将指数函数ep的定义从p∈Crd（T,R）的情形合理地推广到......

数学问题的计算机证明也称数学机械化，是指用计算机证明、推理计算数学问题。Mizar语言系统是由波兰华沙大学的AndrzejTrybulec教授......