Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Liyun Dai
Researcher
PaperGenerating Non-Linear Interpolants by Semidefinite ProgrammingAuthorship / preprint / 2013Paperlogcf: An Efficient Tool for Real Root IsolationAuthorship / preprint / 2012PaperBarrier Certificates RevisitedAuthorship / preprint / 2013PaperSmaller SDP for SOS DecompositionAuthorship / preprint / 2015PaperNon-Termination Sets of Simple Linear LoopsAuthorship / preprint / 2012PaperConstructing Fewer Open Cells by GCD Computation in CAD ProjectionAuthorship / preprint / 2014PaperInterpolation synthesis for quadratic polynomial inequalities and combination with EUFAuthorship / preprint / 2016PaperNonlinear Craig Interpolant GenerationAuthorship / preprint / 2020