×
Edit Profile (opens in new tab)

Li, Liming

Co-Author Distance
Author ID: li.liming Recent zbMATH articles by "Li, Liming"
Published as: Li, Liming; Li, Li-Ming
Documents Indexed: 30 Publications since 1988, including 1 Additional arXiv Preprint
Co-Authors: 22 Co-Authors with 18 Joint Publications
551 Co-Co-Authors
all top 5

Co-Authors

5 single-authored
6 Billings, Stephen A.
4 Guan, Yong
4 Shi, Zhiping
4 Wang, Muqiu
3 Spanier, Jerome
2 Dai, Pingfan
2 Li, Yongdong
2 Ma, Sha
2 Wang, Lian
2 Wu, Shiliang
2 Zhang, Jie
1 Jiang, Jinghong
1 Li, Shilei
1 Shao, Zhenzhou
1 Song, Xiaoyu
1 Wang, Benyi
1 Wu, Shiliang
1 Xu, Runqing
1 Yuan, Hua
1 Zhan, Bohua
1 Zhang, Qianying
1 Zhang, Yupeng
1 Zhao, Jing
all top 5

Serials

4 International Journal of Control
3 Acta Mathematicae Applicatae Sinica
2 Journal of Optimization Theory and Applications
1 Bulletin of the Australian Mathematical Society
1 International Journal of Systems Science
1 Journal of Sound and Vibration
1 Physics Letters. A
1 Chinese Annals of Mathematics. Series A
1 Journal of Systems Science and Mathematical Sciences
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Automated Reasoning
1 Systems Science and Mathematical Sciences
1 Acta Mathematica Sinica. New Series
1 Advances in Applied Clifford Algebras
1 Monte Carlo Methods and Applications
1 Mathematical Problems in Engineering
1 Communications in Nonlinear Science and Numerical Simulation
1 Journal of Software
1 Journal of Beijing University of Technology
all top 5

Fields

9 Ordinary differential equations (34-XX)
8 Numerical analysis (65-XX)
8 Systems theory; control (93-XX)
6 Computer science (68-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Integral equations (45-XX)
2 Statistics (62-XX)
2 Mechanics of particles and systems (70-XX)
2 Operations research, mathematical programming (90-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 General topology (54-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

15 Publications have been cited 66 times in 63 Documents Cited by ▼ Year ▼
Stability of linear neutral delay-differential systems. Zbl 0669.34074
Li, Li-Ming
47
1988
Continuous time nonlinear system identification in the frequency domain. Zbl 1010.93030
Li, L. M.; Billings, S. A.
6
2001
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
6
2016
Discrete time subharmonic modelling and analysis. Zbl 1090.93003
Li, L. M.; Billings, S. A.
3
2005
Stationary oscillation of higher-dimensional non-autonomous systems. Zbl 0706.34029
Li, Liming
3
1989
General sequential sampling techniques for Monte Carlo simulations. I: Matrix problems. Zbl 1091.65501
Spanier, Jerome; Li, Liming
2
1997
Quasi-Monte Carlo methods for integral equations. Zbl 0885.65151
Spanier, Jerome; Li, Liming
2
1997
Reconstruction of linear and non-linear continuous-time system models from input/output data using the kernel invariance algorithm. Zbl 1237.93175
Billings, S. A.; Li, L. M.
2
2000
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Continuous-time system identification using shifted Chebyshev polynomials. Zbl 1059.93503
Li, L. M.; Billings, S. A.
1
2001
Approximation of transport equations by matrix equations and sequential sampling. Zbl 0884.65138
Li, Liming; Spanier, Jerome
1
1997
Generalized frequency response functions and output response synthesis for MIMO nonlinear systems. Zbl 1122.93058
Li, L. M.; Billings, S. A.
1
2006
Periodic solution for a class of higher dimensional non-autonomous system. Zbl 0688.34024
Li, Liming
1
1989
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
Verified interactive computation of definite integrals. Zbl 1540.68278
Xu, Runqing; Li, Liming; Zhan, Bohua
1
2021
Verified interactive computation of definite integrals. Zbl 1540.68278
Xu, Runqing; Li, Liming; Zhan, Bohua
1
2021
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
6
2016
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
Generalized frequency response functions and output response synthesis for MIMO nonlinear systems. Zbl 1122.93058
Li, L. M.; Billings, S. A.
1
2006
Discrete time subharmonic modelling and analysis. Zbl 1090.93003
Li, L. M.; Billings, S. A.
3
2005
Continuous time nonlinear system identification in the frequency domain. Zbl 1010.93030
Li, L. M.; Billings, S. A.
6
2001
Continuous-time system identification using shifted Chebyshev polynomials. Zbl 1059.93503
Li, L. M.; Billings, S. A.
1
2001
Reconstruction of linear and non-linear continuous-time system models from input/output data using the kernel invariance algorithm. Zbl 1237.93175
Billings, S. A.; Li, L. M.
2
2000
General sequential sampling techniques for Monte Carlo simulations. I: Matrix problems. Zbl 1091.65501
Spanier, Jerome; Li, Liming
2
1997
Quasi-Monte Carlo methods for integral equations. Zbl 0885.65151
Spanier, Jerome; Li, Liming
2
1997
Approximation of transport equations by matrix equations and sequential sampling. Zbl 0884.65138
Li, Liming; Spanier, Jerome
1
1997
Stationary oscillation of higher-dimensional non-autonomous systems. Zbl 0706.34029
Li, Liming
3
1989
Periodic solution for a class of higher dimensional non-autonomous system. Zbl 0688.34024
Li, Liming
1
1989
Stability of linear neutral delay-differential systems. Zbl 0669.34074
Li, Li-Ming
47
1988
all cited Publications top 5 cited Publications
all top 5

Cited by 88 Authors

13 Park, Juhyun (Jessie)
5 Cao, Dengqing
5 Hu, Guangda
5 Hu, Guangdi
4 He, Ping
3 Guan, Yong
3 Li, Yongdong
3 Pham Huu Anh Ngoc
3 Shi, Zhiping
3 Sun, Leping
2 Berezansky, Leonid M.
2 Cahlon, Baruch
2 Huo, Xinming
2 Li, Liming
2 Liz, Eduardo
2 Trofimchuk, Sergei I.
2 Wang, Guohui
2 Wang, Ke
2 Xu, Runqing
2 Zhan, Bohua
2 Zhang, Jingzhi
2 Zhong, Shou-Ming
1 Aistleitner, Christoph
1 Balamuralitharan, Sundarappan
1 Bellen, Alfredo
1 Braverman, Elena
1 Cao, Jinde
1 De Iuliis, Vittorio
1 Diblík, Josef
1 Dick, Josef
1 Fan, Yuheng
1 Gabrielli, Andrea
1 Germani, Alfredo
1 Gil’, Michael Iosif
1 Gözen, Melek
1 Guan, Qiang
1 Guglielmi, Nicola
1 Ha, Quang
1 Han, Qinglong
1 Hao, Hui
1 Hong, Zhimin
1 Hui, Guang-Da
1 Ivanov, Anatoli F.
1 Kwon, Ohmin
1 Lai, Yongzeng
1 Li, Hong
1 Li, Houbiao
1 Li, Lingxiao
1 Li, Qiong
1 Li, Wanzhen
1 Li, Ximeng
1 Li, Zhan
1 Liu, Duyu
1 Liu, Pin-Lin
1 Liu, Xinge
1 Liu, Xiuxiang
1 Maggesi, Marco
1 Maize, Earl H.
1 Manes, Costanzo
1 Martin, Ralph R.
1 Sepikas, John
1 Šmarda, Zdeněk
1 Song, Utensil
1 Song, Yimin
1 Spanier, Jerome
1 Stroinski, Uwe
1 Svoboda, Zdeněk
1 Tang, Meilan
1 Tinh, Cao Thanh
1 Tran, Thai Bao
1 Trinh, Hieu Minh
1 Wan, Shidong
1 Wang, Long
1 Wang, Panfeng
1 Wang, Yanjuan
1 Wei, Fengying
1 Wei, Ping
1 Wieser, Eric
1 Wu, Min
1 Xiong, Lianglin
1 Xiong, Weiqiang
1 Xu, Bugong
1 Yang, Mingsheng
1 Yu, Wensheng
1 Zennaro, Marino
1 Zhang, Keyue
1 Zhang, Qianying
1 Zou, Xingfu
all top 5

Cited in 25 Serials

11 Applied Mathematics and Computation
8 Journal of Computational and Applied Mathematics
5 Journal of the Franklin Institute
3 Journal of Mathematical Analysis and Applications
3 Journal of Optimization Theory and Applications
3 Mathematics and Computers in Simulation
3 Advances in Applied Clifford Algebras
2 International Journal of Systems Science
2 Journal of Automated Reasoning
2 Applied Mathematics Letters
2 Applied Mathematics. Series B (English Edition)
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 Acta Arithmetica
1 Automatica
1 SIAM Journal on Control and Optimization
1 Tôhoku Mathematical Journal. Second Series
1 Systems & Control Letters
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Mathematica Moravica
1 Differentsial’nye Uravneniya i Protsessy Upravleniya
1 Applications and Applied Mathematics
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 17 Fields

45 Ordinary differential equations (34-XX)
17 Systems theory; control (93-XX)
8 Numerical analysis (65-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
7 Computer science (68-XX)
3 Mechanics of particles and systems (70-XX)
2 Number theory (11-XX)
2 Real functions (26-XX)
2 Biology and other natural sciences (92-XX)
1 Mathematical logic and foundations (03-XX)
1 Functions of a complex variable (30-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year