Automated proof of mixed trigonometric-polynomial inequalities. - Shiping Chen 008; Zhong Liu (J. Symb. Comput., 2020)

Reachability Analysis of Linear System. - Shiping Chen 008; Xinyu Ge (CoRR, 2022)

Reachability analysis of linear systems. - Shiping Chen 008; Xinyu Ge (Acta Informatica, 2024)