This is your work, valued

Beijing

Hao Wu

Intermediate
@EcstasyH

PhD Student @ Institute of Software, Chinese Academy of Sciences

AdvancedAlgorithm. 计算所高级算法课程，张家琳老师主讲，主要涵盖内容近似算法、随机算法、量子计算

5

Interpolation. Synthesizing polynomial Craig interpolations over non-compact regions via homogenization

4

EXP-solver. Solver for the extension of Presburger Arithmetic with exponential functions (PAexp)

1

BCunbounded. Synthesizing barrier certificates over non-compact regions via homogenization

1