2.1k citations
- University of Chinese Academy of SciencesCN23 papers
- Chinese Academy of SciencesCN18 papers
- Peking UniversityCN13 papers
- Hangzhou Normal UniversityCN11 papers
- Fudan UniversityCN10 papers
- Wenzhou Institute, University of Chinese Academy of SciencesCN10 papers
- Kavli Institute for Theoretical SciencesCN9 papers
- Zhejiang LabCN8 papers
- Zhejiang UniversityCN8 papers
- Anhui UniversityCN7 papers
- Institute of Theoretical PhysicsCN7 papers
- Nanjing UniversityCN7 papers
Showing 2012Show all
2 papers · 1 filter
math.QA2012★ 1 cited
Lie Superalgebras arising from bosonic representation
Naihuan Jing, Chongbin Xu
A 2-toroidal Lie superalgebra is constructed using bosonic fields and a ghost field. The superalgebra contains as a distinguished subalgebra and behaves similarly…
cs.SE2012★ 3 cited
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
Zhengfeng Yang, Min Wu, Wang Lin
In this paper, we address the problem of safety verification of nonlinear hybrid systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hy…