Works matching IS 19725787 AND DT 2015 AND VI 8 AND IP 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