二元函数偏微分的 Mizar 实现

• 作者: 周桂如
• 来源期刊: 安徽电子信息职业技术学院学报
• 学科: 数学
• 关键词: 数学机械化 Mizar 语言系统 形式化数学
• 年，卷（期）: 2012,（6）
• 页码范围: 59-61
• 分类号: O155
• 字数: 3229字
• 语种: 中文

摘要

在 Mizar 语言下实现了多元函数的微分,借助其微分建立起欧氏空间中二元函数偏微分定义的新形式,讨论了二元函数偏微分的运算性质及可微.在 Mizar 系统下,首次实现了二阶偏微分的 Mizar 表述,定义的形式简洁明了,并完成了相应的运算公式和定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周桂如	福建船政交通职业学院基础教研室	10	1	1.0	1.0