-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=实用代数演算 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于变量排序的乘法器电路验证结果的认证器
《计算机科学与应用》2023年第10期1980-1987,共8页史美琦 齐爽 冯天烁 江建国 
验证算术电路特别是门级乘法器电路的正确性是一项重要的研究,目前最有效的验证方法是结合计算机代数和SAT求解来验证门级整数乘法器。为了增加验证结果的可信度,进一步生成证明证书,使用认证器检查以实用代数演算(PAC)证明格式生成单...
关键词：乘法器电路 计算机代数 实用代数演算 认证器 
基于对偶变量的计算机代数证明的机器检验
《应用数学进展》2022年第11期8191-8199,共9页魏峰玉 黄怡桐 刘帅 江建国 
代数推理是目前验证门级整数乘法器最有效的方法之一。实用代数演算是一种涵盖了代数推理并能进行有效证明检验的证明格式。尤其是在代数编码中添加对偶变量生成统一的PAC证明。因为PAC证明文件非常大,且验证过程可能包含错误,本文介绍...
关键词：代数推理 对偶变量 乘法器验证 实用代数演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部