Quadratic Programming over Linearly Ordered Fields: Decidability and Attainment of Optimal Solutions

Dmytro O. Plutenko

Classical existence theorems and solution methods for quadratic programming traditionally rely on the analytical properties of real numbers, specifically compactness and completene…