Computability of minimizers and separating hyperplanes
Publication in refereed journal


香港中文大学研究人员 ( 现职)

黄锦就教授 (经济学系)

全文

数位物件识别号 (DOI) http://dx.doi.org/10.1002/malq.19960420144

引用次数
Web of Sciencehttp://aims.cuhk.edu.hk/converis/portal/Publication/0WOS source URL

其它资讯

摘要We prove in recursive analysis an existence theorem for computable minimizers of convex computable continuous real-valued functions, and a computable separation theorem for convex sets in R(m).

着者Wong KC
期刊名称Mathematical Logic Quarterly
出版年份1996
月份1
日期1
卷号42
期次4
出版社JOHANN AMBROSIUS BARTH VERLAG
页次564 - 568
国际标準期刊号http://aims.cuhk.edu.hk/converis/portal/Publication/0942-5616
语言英式英语

关键词computable real number; convexity; optimization; recursive analysis
Web of Science 学科类别Logic; LOGIC; Mathematics; MATHEMATICS; Science & Technology - Other Topics