文件名称:
偏微分方程求值毕业论文的matlab源码
开发工具:
文件大小: 11kb
下载次数: 0
上传时间: 2012-11-21
详细说明： Mizar系统是一种计算机语言系统,是集逻辑证明、推理演绎、复杂计算、校验排版、科研教学于一体的处理数学信息的形式化系统,并拥有自己的数学知识数据库Mizar Mathematical Library。本文首先介绍数学机械化及Mizar系统的发展历史,其次对如何利用Mizar语言完成数学论文的撰写和进行自动推理校验给出了简要的说明。 本文在Mizar系统下讨论了函数偏微分、高阶偏微分理论及相关性质,实现了矢量场、梯度、散度、旋度的Mizar形式,针对不同的数学问题给出了相应的算法和严格的证明,且通过了系统验证。所获结果被收录在Mizar数据库中,并以论文的形式发表在波兰《Formalized Mathematics》杂志上。 主要工作如下: 1.在Mizar语言下实现了多元函数的微分,借助其微分建立起欧氏空间中二元函数偏微分定义的新形式,讨论了二元函数偏微分的运算性质及可微与连续的关系。 2.在Mizar系统下,www.yifanglunwen.com/post/34.html首次实现了二阶偏微分的Mizar表述,定义的形式简洁明了,并完成了相应的运算公式和定理的Mizar证明与验证。3.将二元函数偏微分的理论推广到三维欧氏空间中,定义了矢量场 ,由此在Mizar系统下第一次实现了梯度、散度、旋度的定义并将其相关的定理与运算实现了机械化。 ...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
