Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Xinyu Ge
Map detail
Xinyu Ge3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipXinyu GeAXinyu GeResearcherReachability Analysis of Linear SystemWReachability Analysis o...preprint / 2022Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded CaseWAutomated Proof of Mixe...preprint / 2022
Person2 links

Xinyu Ge

Researcher