...
机译:使用HOL定理证明器对Yee算法进行形式化
机译:ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:在图像处理算法的背景下对NTP(神经理定理)的洞察 - 探索HO列表和深脑的简单建议和短期通信:高阶定理的机器学习(ML)证明
机译:用HOL定理证明重要度量的形式化。
机译:HOL定理证明者中MDG算法的验证
机译:具有形式化交叉算子的生物启发遗传算法在机器人应用中的应用
机译:使用HOL4定理-证明者对隐私进行形式化的信息论理论证明
机译:pVs定理证明中积分微积分的形式化