机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:Mizar数学库中自动定理证明的评估
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:MIZAR数学库在MIZAR互动证明发展的作用
机译:软件认证中自动定理证明的实证评价