Computability of Minimizers and Separating Hyperplanes

DOI10.1002/malq.19960420144zbMath0858.03059OpenAlexW2026436893MaRDI QIDQ5687417

Kam-Chau Wong

Publication date: 12 December 1996

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420144

zbMATH Keywords

optimizationconvexityrecursive analysiscomputable real numbercomputable continuous real-valued functionscomputable minimizerscomputable separation theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Cites Work

• Unnamed Item
• Unnamed Item
• Some properties of constructive real numbers and constructive functions