机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:纯数学的定理可以得到证明,但应用数学,自然和社会科学以及工程中的模型最多可以“尚未证明是错误”
机译:相互作用的Moran模型,相互作用的Fisher-Wrighter扩散及其应用的表示定理
机译:改进的HHL证明:用于混合系统的交互式定理证明
机译:关于交互式定理证明在计算科学和工程中的应用。
机译:生物科学和生物信息学中计算的发展及其应用:生物信息学和生物科学计算研讨会(SCBB06)的评论
机译:在许多公理的分层和模块化结构集上的交互式定理证明(软件科学和工程学中的数学方法)