Mizar语言系统相关论文
计算机的自动推理证明是数学与计算机科学相结合的一个新学科,随着计算机技术的高速发展,该学科也迅速发展,各种机器语言应运而生......
在Mizar语言下实现了多元函数的微分。借助其微分建立起欧氏空间中二元函数偏微分定义的新形式，讨论了二元函数偏微分的运算性质及......
