一、初等几何中矛盾的分析(论文文献综述)于畅[1](2021)在《基于Coq的牛顿-莱布尼茨公式机器证明》文中提出随着时代发展变革,计算机技术发展势如破竹,人工智能就是典型例证...
一、线性分式规划问题的最优性条件(论文文献综述)陈曦涵[1](2020)在《面向大规模阵列天线系统的多尺度在线随机优化算法设计》文中研究说明在过去十年中,智能移动设备数量、类型...
一、Taylor级数的近似性质及其应用(论文文献综述)高强,谭述君,钟万勰[1](2016)在《精细积分方法研究综述》文中指出对于线性常微分方程初值和两点边值问题,精细积分方法...
一、不等式|x+(λ~2/x)|≥2λ的应用(论文文献综述)吴善和[1](2004)在《几何凸函数与琴生型不等式》文中进行了进一步梳理给出几何凸函数的定义以及判定几何凸函数的方...
一、度量空间中的完全覆盖定理(论文文献综述)张文杰[1](2020)在《由真映射生成的自由半群作用的拓扑压》文中研究说明针对度量空间中由真映射生成的自由半群,本文引入了Bufe...
一、綫性齐次微分方程內e~(kx)型解的探求(论文文献综述)倪林安[1](1992)在《关于一类变系数齐次线性微分方程的求解》文中认为一般的变系数齐次线性微分方程的求解是一个困...
一、对数平均值的近似公式(论文文献综述)程玲[1](2014)在《基于Pushover方法的单自由度结构抗震易损性分析》文中研究指明结构易损性分析是目前国内外研究的热点问题。对...
一、近似計算的基本法則(论文文献综述)张哲[1](2016)在《基于证据理论的结构可靠性分析方法》文中认为实际工程问题中广泛存在着与材料特性、外部载荷、几何尺寸与边界条件等相关...