Universite de Lorraine, CNRS, LORIA, Nancy, Prance;
Cycle finding; Bar inductive predicates Partial algorithms in Coq; Correctness by extraction;
机译:证明珍珠:机械化霍夫曼算法的教科书证明
机译:辐射传输理论的标量特征方程的构造理论:II。查找解决方案的算法及其解析表示
机译:基于遗传算法的受过训练的神经网络的规则提取
机译:证明珍珠:循环发现算法的建设性提取
机译:查找汉密尔顿循环的快速算法
机译:遗传算法和构造性神经网络在微阵列癌症数据分析中的应用
机译:证明珍珠:机械化霍夫曼算法的教科书证明
机译:求解汉密尔顿路径和周期的快速并行算法。