...
机译:MizarMode-一种用于Mizar数学形式化的集成证明辅助工具
Department of Theoretical Computer Science, Charles University, Malostranske nam. 25, Praha, Czech Republic;
mizar; MizarMode; proof assistance;
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:在MIZAR中将最近的数学结果形式化的示例
机译:使用MIZAR证明检查器的二进制字段和N维二进制矢量空间的形式化
机译:在使用数学计算工具的情况下了解功能,证明和数学建模:中学数学教师及其策略和联系。
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:MizarMode-用于Mizar数学形式化的集成证明辅助工具