基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,485 浏览量: 5,680
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
微分定义的演变及其内蕴的逻辑错误The Evolution of Differential Definition and Its Intrinsic Logic Error
刘淑玉, 郭猫驼 下载量: 1,212 浏览量: 7,194
理论数学 Vol.8 No.6, November 16 2018, PDF, HTML, XML DOI:10.12677/PM.2018.86092 被引量
紧复流形上的星算子定义及伴随算子The Definition of Star Operator and Some Adjoint Operators on Compact Complex Manifold
黄 晴, 杨秋花, 卢卫君 下载量: 517 浏览量: 792 科研立项经费支持
理论数学 Vol.10 No.7, July 29 2020, PDF, HTML, XML DOI:10.12677/PM.2020.107081 被引量
关于完全π-正则半群分块定义的一个注记A Note on the Definitions of Blocks of Epigroups
陈琴琴, 刘靖国 下载量: 2,171 浏览量: 9,971 科研立项经费支持
理论数学 Vol.6 No.2, March 16 2016, PDF, , XML DOI:10.12677/PM.2016.62013 被引量
定义于双叶双曲面上的多元Lagrange插值问题Multivariate Lagrange Interpolation Defined on Hyperboloid
刘海波, 惠婷婷, 崔利宏 下载量: 1,696 浏览量: 3,105 科研立项经费支持
应用数学进展 Vol.6 No.4, July 21 2017, PDF, , XML DOI:10.12677/AAM.2017.64065 被引量
语义球型模糊集的定义及相关性质The Definition of Linguistic Spherical Fuzzy Set and Its Related Properties
贾 睿 下载量: 548 浏览量: 1,605
运筹与模糊学 Vol.11 No.3, July 27 2021, PDF, HTML, XML DOI:10.12677/ORF.2021.113033 被引量
定义于锥面上的多元切触插值问题研究Research on Multivariate Contact Interpolation Defined on Cone
王文跃, 崔利宏 下载量: 182 浏览量: 342
理论数学 Vol.13 No.6, June 21 2023, PDF, HTML, XML DOI:10.12677/PM.2023.136168 被引量
定义于椭球面上的多元切触插值问题研究Research on the Multivariate Contact Interpolation Problem Defined on an Ellipsoid
周鹏宇, 王心蕊, 崔利宏 下载量: 158 浏览量: 225
理论数学 Vol.13 No.12, December 20 2023, PDF, HTML, XML DOI:10.12677/PM.2023.1312358 被引量
定义于双叶双曲面上的多元函数切触插值问题Osculatory Interpolation of Multivariate Functions Defined on Hyperboloid
王亚琦, 董相妤, 王文跃, 崔利宏 下载量: 236 浏览量: 323
应用数学进展 Vol.11 No.12, December 27 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112942 被引量
多元二次函数方程在限制定义域上的稳定性The Stability of a Multi-Quadratic Functional Equation on a Restricted Domain
王 琳, 纪培胜, 刘韦韦 下载量: 1,727 浏览量: 5,567 科研立项经费支持
运筹与模糊学 Vol.6 No.4, October 27 2016, PDF, , XML DOI:10.12677/ORF.2016.64014 被引量