|
1
|
复Finsler流形上的一类Schwarz引理 |
李龙杰
李锦玲
|
《集美大学学报(自然科学版)》
|
2026 |
0 |
|
|
2
|
基于广义共轭的约束优化问题推广的Farkas引理及Lagrange对偶 |
吴柯幸
|
《应用数学进展》
|
2025 |
0 |
|
|
3
|
多元函数的差分型与因子型分解及Hammersley-Clifford定理 |
段小刚
|
《数学进展》
北大核心
|
2026 |
0 |
|
|
4
|
Petri网语言的Pumping引理 |
蒋昌俊
刘关俊
|
《计算机学报》
EI
CSCD
北大核心
|
2006 |
13
|
|
|
5
|
Barbalat引理及其在系统稳定性分析中的应用 |
闵颖颖
刘允刚
|
《山东大学学报（工学版）》
CAS
|
2007 |
109
|
|
|
6
|
Farkas引理在线性锥系统的推广 |
安中华
安琼
|
《华中师范大学学报（自然科学版）》
CAS
CSCD
|
2007 |
9
|
|
|
7
|
时滞系统稳定性分析和镇定:一种基于Finsler引理的统一观点 |
刘健辰
章兢
张红强
何敏
|
《控制理论与应用》
EI
CAS
CSCD
北大核心
|
2011 |
7
|
|
|
8
|
关于Neyman-Pearson基本引理的几个注记 |
王金亮
余海燕
胡松波
刘文君
|
《数学杂志》
CSCD
北大核心
|
2011 |
7
|
|
|
9
|
L-闭包空间及Urysohn引理 |
路娟
李生刚
|
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2005 |
16
|
|
|
10
|
Forking引理与一类基于身份签名体制的安全性证明(英文) |
顾纯祥
祝跃飞
潘晓豫
|
《软件学报》
EI
CSCD
北大核心
|
2007 |
4
|
|
|
11
|
山路引理在一类渐近线性椭圆方程中的应用 |
黄欣
蒲志林
罗天琦
|
《四川师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2008 |
2
|
|
|
12
|
Neumann引理的一个推广及其应用 |
曹怀信
张登华
成立花
|
《纺织高校基础科学学报》
CAS
|
2005 |
2
|
|
|
13
|
Schwarz引理与Schwarz-Pick引理在单位球B_n上的推广 |
王安
孙立岩
刘颖
|
《数学年刊（A辑）》
CSCD
北大核心
|
2011 |
1
|
|
|
14
|
抽象凸空间中的Shapley-KKM引理 |
陈治友
夏顺友
|
《四川师范大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2014 |
6
|
|
|
15
|
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件 |
吴哲辉
|
《计算机学报》
EI
CSCD
北大核心
|
1994 |
33
|
|
|
16
|
控制理论中的频率定理:Kalman-Yakubovich引理 |
王广雄
张静
|
《电机与控制学报》
EI
CSCD
北大核心
|
2002 |
1
|
|
|
17
|
有限频域分析与设计的广义KYP引理方法综述 |
李贤伟
高会军
|
《自动化学报》
EI
CSCD
北大核心
|
2016 |
8
|
|
|
18
|
关于正则语言的泵引理 |
叶瑞芬
沈百英
|
《华东理工大学学报（自然科学版）》
CAS
CSCD
|
1994 |
3
|
|
|
19
|
上下文无关Petri网语言的Pumping引理 |
张继军
吴哲辉
|
《小型微型计算机系统》
CSCD
北大核心
|
2008 |
3
|
|
|
20
|
基于Schur引理证明方法的矩阵酉三角化 |
鲜思东
薛文婷
卢崇霞
罗海燕
|
《吉首大学学报（自然科学版）》
CAS
|
2015 |
1
|
|
