Works matching IS 19725787 AND DT 2015 AND VI 8 AND IP 1

Results: 1

    • Formal Proofs for Nonlinear Optimization.

      Published in:
      Journal of Formalized Reasoning, 2015, v. 8, n. 1, p. 1
      By:
      • MAGRON, VICTOR;
      • ALLAMIGEON, XAVIER;
      • GAUBERT, STÉPHANE;
      • WERNER, BENJAMIN
      Publication type:
      Article