School of Computing, University of Dundee, UK;
School of Computing, University of Dundee, UK;
ML4PG; Interactive Theorem Proving; Coq; SSReflect; Machine Learning; Clustering; CoqEAL;
机译:使用计算机代数增量列明智验证算术电路
机译:将SAT解算器与计算机代数系统相结合以验证组合猜想
机译:使用计算机代数技术来规范,验证和综合递归程序
机译:ML4PG在计算机代数验证中
机译:一个(CO)编程和验证计算机网络的代数方法
机译:基于共形几何代数和人工视觉的半自治脑机接口评估
机译:mL4pG在计算机代数验证中的应用
机译:分布式求和算法的计算机检验代数验证