Liming Li

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Global error bound for the vertical tensor complementarity problem	2024-03-11	Paper
Some properties of the solution of the vertical tensor complementarity problem	2022-12-02	Paper
Verified interactive computation of definite integrals	2021-12-01	Paper
Complexity evolution of capital and technology transfer in climate negotiation	2020-10-21	Paper
Formalization of geometric algebra in HOL Light	2019-09-02	Paper
The formalization of discrete Fourier transform in HOL	2018-08-27	Paper
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm	2017-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q2824411	2016-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q3193586	2015-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4934385	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4369797	1998-04-20	Paper
Approximation of Transport Equations by Matrix Equations and Sequential Sampling	1998-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4369796	1997-01-01	Paper
On the existence, uniqueness and stability of periodic solutions of large scale systems with unbounded delay	1994-09-19	Paper
On exponential stability of large scale systems with unbounded delay	1994-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3360527	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3359395	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3361188	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5749652	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3487765	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207046	1989-01-01	Paper
Stability of linear neutral delay-differential systems	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Liming Li