Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 572 浏览量: 850
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 188 浏览量: 277
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 253 浏览量: 1,920
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 666 浏览量: 954
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 190 浏览量: 280
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 217 浏览量: 288
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
惯性对称交替方向乘子算法Inertial Symmetric Alternating Direction Multiplier Algorithm
田明珠, 文 萌, 李 军 下载量: 119 浏览量: 210
理论数学 Vol.14 No.1, January 26 2024, PDF, HTML, XML DOI:10.12677/PM.2024.141022 被引量
解析拉格朗日乘数法求条件极值Analytic Lagrange Multiplier Method to Obtain Conditional Extremum
贾瑞玲, 张冬燕, 孙铭娟 下载量: 817 浏览量: 2,148
理论数学 Vol.12 No.4, April 12 2022, PDF, HTML, XML DOI:10.12677/PM.2022.124057 被引量
摩擦纳米发电机驱动下倍压整流电路的参数特性Characteristics of Voltage Multiplier Circuits Driven by Triboelectric Nanogenerators
霍恒宁, 程嘉, 路益嘉, 刘帆 下载量: 1,242 浏览量: 3,024
机械工程与技术 Vol.7 No.3, June 29 2018, PDF, HTML, XML DOI:10.12677/MET.2018.73028 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 152 浏览量: 232
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量