桥台锥体填土及护坡体积分法

用积分推导计算铁路桥台锥体填土及护坡体积的计算公式，使锥体填土及护坡土石方数量计算更趋于实际。     

一个积分公式及其应用

本文通过对分部积分公式进行变形整理,从而得到了计算积分的一个非常有用的公式.并通过举例,进一步说明了该公式在解题过程中的简捷与方便之处.     

辛卜生公式注释

辛卜生公式是采用“抛物线法”计算定积分所导出一个近似计算公式。 其计算误差不超过这里M是被积函数f(x)的4阶导数绝对值的上界。如果f(x)是三次多项式函数,则误差为0。此时辛卜生公式成为精确计算公式。对此,也可以直接用积分法进行证明。设:     

相亲公式

你可以用公式来计算距离,可以用公式来估量大小,但可曾想过,用公式来计算相亲？近日,一道由北大数学博士自创的相亲公式,在上海的婚介行业中受到追捧：设P为一个人外在和内在等条件的整体估值,即：P={年龄、学历、工作、收入、身高、容貌、健康、性格、才艺、阅历……},如果P（A,B）-P（A,A）≥V（A）,P（B,A）-P（B,B）≥V（B）,则双方握手成交。猛一看此公式晦涩难懂,其实也很好理解。     

辛普森公式的统一美

本文主要介绍辛普森公式的内容及其在推导有关旋转体及多面体的体积公式中的应用、在推导有关平面图形的面积中的应用、在高考解题中的运用。     

正确使用定积分中的定理公式

在定积分计算中,需用到牛顿-莱布尼茨公式和定积分换元法。在使用它们时,必须对定理、公式的条件、结论充分理解,才能准确使用公式,计算出正确结果。     

几类常微分方程组的通积分公式

借助首次积分，给出几类常微分方程组的通积分公式。     

复调和函数的Cauchy积分公式

建立了复调和函数积分,得出了其Ｃａｕｃｈｙ积分定理与Ｃａｕｃｈｙ积分公式,并讨论了单位圆上复调和函数Ｃａｕｃｈｙ积分公式的特征．     

大角度三线摆周期的近似公式

由能量方程出发，用换元的方法推导出三线摆大角度摆动时的周期的近似公式，并通过计算，确定运用该法所得的周期值更为精确．     

一个数值积分公式

以函数Ｔａｙｌｏｒ展开式为基点，导出一个数值积分公式；并给出相应的误差公式；最后用实例展示公式使用程序及对公式的评估。     

用求根公式解一元二次方程“三注意”

在初三上册讲一元二次方程的解法时，其中有种解法——求根公式法，我们又叫它万能公式。学生在用时时常出现以下的问题。如5x2-4x-1=0，他的解题过程可能会出现如下形式：     

两个重要极限公式的推广

在数学分析的极限部分有两个重要的极限公式．在实际计算极限的过程中，我们发现可以将这两个重要的极限公式作进一步的推广，从而使得计算极限的过程变得更加简单．下面我们就如何推广作简要说明．     

双解析函数的Cauchy积分公式

建立了双解析函数的积分，得到双解析函数的Ｃａｕｃｈｙ积分定理、Ｍｏｒｅｒａ定理和Ｃａｕｃｈｙ积分公式．     

浅谈全概率公式和贝叶斯公式的应用

本文讨论了全概率公式和贝叶斯公式及其应用,介绍了如何用公式解决问题的方法。     

复常系数一元二次方程求根公式

借助两种方法：特征方程法与公式法，推导出复常系数一元二次方程的求根公式，直接应用所得的求根公式求相应方程的根，显得格外简捷。     

几类二阶二次微分方程的解法及其通解公式

文中提出几类二阶二次微分方程，可分别借助于降阶法、线性化法、首次积分 法、积分法，获得其相应二阶二次微分方程类型的通解公式     

几类变系数线性及非线性常微分方程组的通积分公式

借助首次积分，给出几类变系数线性及非线性常微分方程组通积分的公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

新的高阶非线性微分方程的通积分公式

借助迭代思想及积分法，提出新的一类高阶非线性常微分方程研究它的可积条件，获得通积分的公式     

巴坎公式和自由逻辑

在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。