基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
数字人民币下商业银行存款创造机制演变及其差异测算Evolution of Deposit Creation Mechanism of Commercial Banks under e-CNY and Its Difference Measurement
朱胜蓉 下载量: 378 浏览量: 712 科研立项经费支持
金融 Vol.14 No.1, January 16 2024, PDF, HTML, XML DOI:10.12677/FIN.2024.141014 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 315 浏览量: 419
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
面向物联网安全的素域SM2点乘硬件优化Hardware Optimization of Prime Field SM2 Point Multiplication for IoT Security
谭光昭, 周 骅 下载量: 263 浏览量: 418
运筹与模糊学 Vol.13 No.6, December 27 2023, PDF, HTML, XML DOI:10.12677/ORF.2023.136711 被引量
基于动态数组的加法器重写优化算法Adder Rewriting Optimization Algorithm Based on Dynamic Array
张小盈, 吕妍颖, 江建国 下载量: 345 浏览量: 755
应用数学进展 Vol.10 No.11, November 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011405 被引量
无网格Galerkin法求解二维Helmholtz方程An Element-Free Galerkin Method for Solving Two-Dimensional Helmholtz Equation
宋义鑫 下载量: 973 浏览量: 4,117
应用数学进展 Vol.8 No.8, August 7 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.88154 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 771 浏览量: 1,132
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
关于运输问题的几个注记Some Notes on Transportation Problem
王彩芳, 王攸妙 下载量: 1,068 浏览量: 2,555
教育进展 Vol.8 No.4, July 3 2018, PDF, HTML, XML DOI:10.12677/AE.2018.84055 被引量
基于散列表的加法器重写优化算法Hash Table Based Adder Rewriting Optimization Algorithm
黄怡桐, 刘 帅, 魏峰玉, 江建国 下载量: 202 浏览量: 318
应用数学进展 Vol.11 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111874 被引量
再保险人视角下最优自留额研究Research on the Optimal Retention from the Perspectives of Reinsurer
谢靓艺, 连熠瑾, 刘予茜 下载量: 293 浏览量: 2,709
理论数学 Vol.13 No.2, February 28 2023, PDF, HTML, XML DOI:10.12677/PM.2023.132036 被引量