武汉大学主页平台管理系统甘庭--中文主页--科学研究

甘庭

个人信息

教师拼音名称：Gan Ting
电子邮箱：
联系方式：ganting at whu dot edu dot cn

访问量：

开通时间：--

最后更新时间：--

当前位置: 中文主页 >> 科学研究

研究领域

形式化验证、程序验证、混成系统验证、约束求解（SMT，SAT）、多项式优化、统计推理、统计学习

论文成果

[1]. Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9706 (0302-9743). 2016.

专利

暂无内容

著作成果

暂无内容

科研项目

暂无内容

科研团队

暂无内容