📚 形式化方法技术资料

📦 资源总数:10000
💻 源代码:10000

🔥 形式化方法热门资料

查看全部10000个资源 »

Jacobi 方法,利用平面旋转矩阵所构成的正交相似变换将对 对称矩阵化为对角型的方法...

👤 changeboy ⬇️ 58 次下载

Taylor方法,解决常微分方程的初值问题...

👤 zhuyibin ⬇️ 102 次下载

本资源详细介绍了线性方程组直接解法中的Cholesky分解方法,特别适用于处理对称正定矩阵问题。对于从事数值计算、工程仿真以及需要高效求解大规模线性系统的开发者而言,这份资料不仅提供了理论基础,还包含了实用的算法实现技巧,是学习和工作中不可或缺的参考工具。立即免费下载完整版文档,掌握这一强大的数学工...

👤 xsr1983 ⬇️ 1 次下载

💻 形式化方法源代码

查看更多 »
📂 形式化方法资料分类