Professor | 夏壁灿 | 数字化转型顾问

Name	夏壁灿
Contact Information	xbc at math dot pku dot edu dot cn
Language ability	中文, 英语
Province	北京

Name

夏壁灿

Contact Information

xbc at math dot pku dot edu dot cn

Language ability

中文, 英语

Province

北京

University/Lab Affiliation and Title	北京大学
Faculty	Mathematical Sciences
Work Experience	2017-2019 - 信息科学系 - 主任 2008-2017 - 北京大学数学科学学院 - 副院长 2000- - 北京大学数学科学学院 - 讲师、副教授、教授 1998-2000 - 北京大学数学系 - 博士后
Awards	2020年 - 北京大学教学优秀奖 2005-2006年度 - 北京大学教学优秀奖 2001年 - 周培源数学奖教金 2000-2001 年度优秀班主任

University/Lab Affiliation and Title

北京大学

Faculty

Mathematical Sciences

Work Experience

Awards

Areas of Focus	符号计算机器证明自动推理程序验证
Publications	A complete algorithm for automated discovering of a class of inequality-type theorems, L. Yang, X. Hou and B. Xia, 2001 An algorithm for isolating the real solutions of semi-algebraic systems, B. Xia and L. Yang, 2002 Real solution classifications of a class of parametric semi-algebraic systems, L. Yang and B. Xia, 2005 DISCOVERER: A tool for solving semi-algebraic systems, B. Xia, 2007 Automated Inequality Proving and Discovering, B. Xia and L. Yang, 2016

Areas of Focus

符号计算
机器证明
自动推理
程序验证

Publications

A complete algorithm for automated discovering of a class of inequality-type theorems, L. Yang, X. Hou and B. Xia, 2001
An algorithm for isolating the real solutions of semi-algebraic systems, B. Xia and L. Yang, 2002
Real solution classifications of a class of parametric semi-algebraic systems, L. Yang and B. Xia, 2005
DISCOVERER: A tool for solving semi-algebraic systems, B. Xia, 2007
Automated Inequality Proving and Discovering, B. Xia and L. Yang, 2016

算法不等式定理证明半代数系统实数解计算数学软件工具形式方法嵌入式系统符号分析

张正良 - 武汉大学

Area of Focus
不等式 | 泛函 | 分析 | 概率 | 统计 | 算法 | 数据 | 学习 | 人工智能 | 模型

冯慧 - 武汉大学

View All

欢迎与我们交流!

感谢您的信息！
我们会很快与你取得联系。

Personal Information