Computability of Minimizers and Separati
β
Kam-Chau Wong
π
Article
π
1996
π
John Wiley and Sons
π
English
β 253 KB
## Abstract 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 β^m^. Mathematics Subject Classification: 03F60, 52A40.