Weighted graph; Increasing/decreasing trails; Isabelle/HOL; Verified theory formalization;
机译:ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
机译:在伊莎贝尔/霍尔的欧洲衍生品正式形成欧洲衍生物的Cox-Ross-Rubinstein定价
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:形式化Isabelle / HOL中程序依赖图动态切片的框架
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:Isabelle / Hol中的正式图形跟踪属性
机译:用于测量sass(亚音速评估)程序中凝聚物微物理特性的新型数字全息仪器