论文部分内容阅读
在Mizar语言下实现了多元函数的微分。借助其微分建立起欧氏空间中二元函数偏微分定义的新形式，讨论了二元函数偏微分的运算性质及可微。在Mizar系统下，首次实现了二阶偏微分的Mizar表述，定义的形式简洁明了，并完成了相应的运算公式和定理。
二元函数偏微分的Mizar实现
【摘 要】
：
在Mizar语言下实现了多元函数的微分。借助其微分建立起欧氏空间中二元函数偏微分定义的新形式，讨论了二元函数偏微分的运算性质及可微。在Mizar系统下，首次实现了二阶偏微分的
【机 构】
：
福建船政交通职业学院基础教研室
【出 处】
：
安徽电子信息职业技术学院学报
【发表日期】
：
2012年6期
【基金项目】
：
2010年福建省交通科技项目（编号：201011）.
其他文献
在国内，开源办公套件实际上并没有受到应有的重视。一些主流媒体有关开源办公套件的介绍非常浮浅，而且对其推介的力度很不够。一般人似乎认为，办公套件只有商品软件产品，比如微软
我们继续履行我们‘网络就是计算机'的承诺.Sun的网格技术将是NI架构,以及虚拟化数据中心和最大化客户投资回报率等战略实施的关键部分,"Sun公司董事长兼首席执行官Scott
从文化哲学的视角对当代中国宗教的发展状况及其呈现的问题进行反思，可以把其归结为五种主要类型：信仰危机型；价值错位型；从众趋同型；心理求助型；国际渗透型。宗教并不能真正解决人