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

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

This letter investigates an improved blind source separation algorithm based on Maximum Entropy(ME) criteria. The origin......

讨论了广义双曲函数、广义三角函数的若干性质，并修正了文[1]中的部分结论，使Smk（x），Tmk（x），当m为偶数时具备了相应的奇偶性。......