基于对偶变量的计算机代数证明的机器检验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 被引量
推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,481 浏览量: 3,660
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
人工智能中的自动逻辑推理Automatic Logic Reasoning in Artificial Intelligence
邱德钧 下载量: 1,326 浏览量: 6,469
人工智能与机器人研究 Vol.8 No.1, December 26 2018, PDF, HTML, XML DOI:10.12677/AIRR.2019.81002 被引量
一类条件代数不等式的注记A Note on a Class of Conditional Algebraic Inequalities
蒋鼎宏, 柏传志 下载量: 315 浏览量: 476 国家自然科学基金支持
理论数学 Vol.11 No.10, October 22 2021, PDF, HTML, XML DOI:10.12677/PM.2021.1110198 被引量
论析数学逻辑推理的三种方法Analysis on the Three Methods of Mathematical Logic Reasoning
李 琪, 郭继东 下载量: 731 浏览量: 3,126 科研立项经费支持
理论数学 Vol.10 No.5, May 18 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105060 被引量
3阶Hessenberg符号模式矩阵允许代数正和要求代数正Hessenberg Sign Pattern Matrices with Order 3 that Allow Algebraic Positivity and Require Algebraic Positivity
焦 旸, 田 岩 下载量: 229 浏览量: 363 科研立项经费支持
应用数学进展 Vol.11 No.8, August 8 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.118556 被引量
民事裁判文书说理问题研究Study on the Reasoning of Civil Adjudication Documents
张庆庆 下载量: 261 浏览量: 369
法学 Vol.11 No.5, September 13 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115598 被引量
一类Hamilton矩阵特征值的代数指标Algebraic Index of Eigenvalue of a Class of Hamilton Matrix
吴永霞, 吴德玉, 王媋瑗, 董瑞婷, 沈 易, 向 民 下载量: 1,708 浏览量: 3,986 国家自然科学基金支持
应用数学进展 Vol.7 No.3, March 14 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.73030 被引量
演绎与归纳推理比较的神经机制:问题与趋势The Neural Mechanisms of Comparison between Deductive and Inductive Reasoning: Problems and Trends
李晓芳, 张明明, 龙长权 下载量: 2,125 浏览量: 11,714 国家自然科学基金支持
心理学进展 Vol.6 No.4, April 11 2016, PDF, , XML DOI:10.12677/AP.2016.64049 被引量
关于三次代数曲面光滑拼接问题研究Research on Smooth Joining of Cubic Algebraic Surfaces
许燕达, 贾为兴, 崔利宏 下载量: 773 浏览量: 967
应用数学进展 Vol.9 No.10, October 28 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.910209 被引量