武汉大学主页平台管理系统 Gan Ting--Home--Scientific Research

Personal Homepage

Personal Information

School/Department:计算机学院

News Official network

中文

甘庭

+

Scientific Research

Current position: Home / Scientific Research

Research Field

No content

Paper Publications

.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

Patents

No content

Published Books

No content

Research Projects

No content

Research Team

No content