References
- Eaves , B.C. 1971 . On quadratic programming . Management Science , 17 : 698 – 711 .
- Eaves , B.C. 1978 . A finite procedure for determining if a quadratic form is bounded below on a closed polyhedral convex set . Mathematical Programming , 14 ( 1 ) : 122 – 124 .
- Elster , K-H . 1977 . Einführung in die nichtlineare Optimierung , Teubner Verlags- gesellschaft .
- Hansel , R. 1980 . “ Stabilität gemischt- ganzzahliger quadratischer Optimierungsprobleme ” . In Dissertation (A) , Berlin : Humboldt-Universitat zu .
- Hartmann , K. 1977 . Verfahren zur Lösung ganzzahliger niehtlinearer Optimierungsproblerne . Math. Operationsforschung u. Statistik, Ser. Optimization , 4 : 633 – 647 .
- Jeroslow , R.G. 1973 . “ There cannot be any algorithm for integer programming with quadratic constraints ” . In Operations Research Vol. 21 ,
- Loeckx , J. 1972 . Computability and Decidability , Berlin , New York : Springer-Verlag . Heidelberg
- Kummer , B. 1978 . Stability and weak duality in convex programming without regularity , Berlin : Humboldt-Universität zu . Preprint
- Mandel , R. 1981 . Über die Existenz von Lösungen ganzzahliger Optimierungsaufgaben . Math. Operationsforschuiig u. Statistik, Ser. Optimization , 12 ( 1 )
- Mandel , R. 1981 . Über die Beschränktheit nach unten von Funktionen über der Menge der (gemiseht-)ganzzahligen Punkte eines konvexen Polyeders . Math. Operations- forschung u. Statistik, Ser. Optimization , 12 ( 2 )
- Matijaseviĉ , Y. 1970 . Enumerable sets are Diophantine (Russian) . Dokl. Akad. Nauk SSSR , 191 ( 2 ) : 279 – 282 .
- Matijasevic , Y. and Robinson , J. 1975 . Reduction of an arbitrary Diophantuio equation to one in 13 unknowns . Acta Arithmetica , 27 ( 2 ) : 521 – 553 .
- Seidenberg , A. 1954 . A Now Decision Method for Elementary Algebra . Annals of Math , 60 ( 2 ) : 365 – 374 .
- Skolem , T. 1938 . Diophautische Gleielumgen , Springer Verlag .
- Tarski , A. 1951 . A decision method for elementary algebra and geometry , University of California Press .