共 50 条
- [47] THE TOLAND-FENCHEL-LAGRANGE DUALITY OF DC PROGRAMS FOR COMPOSITE CONVEX FUNCTIONS NUMERICAL ALGEBRA CONTROL AND OPTIMIZATION, 2014, 4 (01): : 9 - 23
- [48] Lagrangian duality for 0-1 concave-convex frational programs COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 2000, 331 (06): : 491 - 496
- [50] A Formal Proof of Square Root and Division Elimination in Embedded Programs JOURNAL OF FORMALIZED REASONING, 2013, 6 (01): : 89 - 111