Forcing; Isabelle/ZF; Countable transitive models; Absoluteness; Generic extension; Constructibility;
机译:ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
机译:在伊莎贝尔/霍尔的欧洲衍生品正式形成欧洲衍生物的Cox-Ross-Rubinstein定价
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:选择公理的相对一致性-使用Isabelle / Zf机械化
机译:东方妇女的三岁代表在董事会Gautier,Gustave Fraubert和Isabelle Eberhardt的作品中
机译:预测正规化和广义化蛋白质结构预测的平均力势
机译:使用isabelle/zf选择机械化机械化机械化的相对一致性
机译:六块伊莎贝尔磁铁中的磁力。