共 50 条
- [41] AN AUTOMATED REASONING METHOD ON FIRST-ORDER TENSE LOGIC PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1706 - 1711
- [42] A FIRST-ORDER SYSTEM LEAST SQUARES METHOD FOR HYPERELASTICITY SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2014, 36 (05): : B795 - B816
- [48] An inexact first-order method for constrained nonlinear optimization OPTIMIZATION METHODS & SOFTWARE, 2022, 37 (01): : 79 - 112
- [50] Iterative method for a first-order implicit differential equation PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE OF MODELLING AND SIMULATION, VOL II: MATHEMATICAL MODELLING, 2008, : 281 - 286