Login / Signup
Shiping Chen
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Reachability Analysis
Least Squares
Theorem Proving
Semi Automated
Top Venues
CoRR
J. Symb. Comput.
</>
Publications
</>
Shiping Chen
,
Xinyu Ge
Reachability Analysis of Linear System.
CoRR
(2022)
Shiping Chen
,
Zhong Liu
Automated proof of mixed trigonometric-polynomial inequalities.
J. Symb. Comput.
101 (2020)