共 50 条
- [1] A first-order ε-approximation algorithm for linear programs and a second-order implementation COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, VOL 4, PROCEEDINGS, 2005, 3483 : 488 - 498
- [4] Solutions of Second-Order PDEs with First-Order Quotients Lobachevskii Journal of Mathematics, 2020, 41 : 2491 - 2509
- [7] Limited Second-Order Functionality in a First-Order Setting Journal of Automated Reasoning, 2020, 64 : 391 - 422
- [8] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A354 - A354
- [9] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553
- [10] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A336 - A336