ag平台网址,ag平台app下载

当前位置: ag平台网址 > ag平台app下载公告 > 正文
ag平台网址

ag平台app下载公告

逻辑、代数与计算国际研讨会 (Workshop in Logic, Algebra and Computation)
ag平台网址:2013-12-02  浏览量:

逻辑、代数与计算国际研讨会 (Workshop in Logic, Algebra and Computation)http://www.mpi-inf.mpg.de/conference/macis2013/workshop.html

研讨会时间:2013年12月9日(周一)9:00-16:30研讨会地点:北航数学与系统科学ag平台app下载 主321学术交流厅研讨会报告:

Synthesis of Optimal Numerical Algorithms by Real Quantifier Elimination (Case Study: Square Root Computation)报告人:Hoon Hong(美国北卡罗来纳州立大学教授、国际符号计算杂志主编)

When is a Formula Invariant?报告人:Deepak Kapur(美国新墨西哥大学杰出教授)

Positivity and a Tropical Approach to SMT Solving for the Sciences报告人:Thomas Sturm(德国马普计算机科学研究所高级研究员)

Inequality Proving and Global Optimization via a Simplified CAD Projection报告人:夏壁灿(北京大学教授)

A Framework for Improving Uniformity of Parameterizations of Curves报告人:杨静(北京航空航天大学博士)

Faster Learning in SMT-solving for Non-linear Arithmetic报告人:Marek Kosta(德国马普计算机科学研究所博士生)

Computation of the Matrix Exponential报告人:Willem Hagemann(德国马普计算机科学研究所博士生)

联系人:数学与系统科学ag平台app下载 牟晨琪 (chenqi.mou@buaa.edu.cn)

Copyright ©版权所有:ag平台网址 地址:北京市海淀区ag平台app下载路37号      邮编:100191

XML 地图 | Sitemap 地图