Statistics
Publications
2
Citations
86
H-Index
2
Active since
2003
Affiliations
Northeastern University(Current)
Zhang Yi-min is an author at Northeastern University specializing in lyapunov functions, engineering, and lyapunov stability.
Publications per year
2003–2010
2
2
Theorem Proving Based on the Extension Rule
Lin Hai, Zhang Yi-min · Journal of Automated Reasoning · 2003 · 40 citations
Computing, Philosophy, Logic +5
1–2 of 2