基于计算机代数理论的酶促系统动力学分析An Analysis of the Kinetics of Enzymatic Systems Based on Computer Algebra Theory
宗 凯, 于建平, 吴素萍, 孙永利 下载量: 2,720 浏览量: 9,817 国家自然科学基金支持
应用数学进展 Vol.4 No.2, May 8 2015, PDF, , XML DOI:10.12677/AAM.2015.42016 被引量
基于计算机代数系统的常用航线在不同投影下的可视化Visualization of Common Routes Based on Different Projections by Computer Algebra System
李松林, 边少锋, 李厚朴, 刘佳奇 下载量: 1,094 浏览量: 2,961 国家自然科学基金支持
测绘科学技术 Vol.6 No.3, July 19 2018, PDF, HTML, XML DOI:10.12677/GST.2018.63022 被引量
基于对偶变量的计算机代数证明的机器检验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 被引量
空间地图投影数学分析研究现状与对策The Research Status and Countermeasures of the Space Map Projection
李厚朴, 唐庆辉, 边少锋, 李松林 下载量: 1,389 浏览量: 3,592 国家自然科学基金支持
测绘科学技术 Vol.6 No.2, April 28 2018, PDF, HTML, XML DOI:10.12677/GST.2018.62013 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 299 浏览量: 424
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 685 浏览量: 1,011
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 770 浏览量: 1,124
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
吴方法在求解数独问题中的应用The Application of Wu’s Method of Characteristic Set in Solving Sudoku Problem
许晓宁 下载量: 936 浏览量: 1,688
理论数学 Vol.9 No.3, May 22 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93053 被引量
用吴方法解决染色问题Solve the Dyeing Problem by Wu’s Method
苗婷婷 下载量: 1,485 浏览量: 3,227
理论数学 Vol.8 No.5, September 6 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85065 被引量
子结式的两个新性质的证明The Proof of Two New Properties of Subresultants
刘 美, 孙维昆 下载量: 160 浏览量: 295 科研立项经费支持
理论数学 Vol.13 No.7, July 17 2023, PDF, HTML, XML DOI:10.12677/PM.2023.137202 被引量