共 50 条
- [41] Two-Variable First-Order Logic with Equivalence Closure 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 431 - 440
- [42] FIRST-ORDER DIFFERENTIAL CLOSURE OF CERTAIN PARTIALLY ORDERED FIELDS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A370 - A370
- [44] HOMOGENIZATION OF FIRST-ORDER EQUATIONS WITH u/ε-PERIODIC HAMILTONIAN: RATE OF CONVERGENCE AS ε → 0 AND NUMERICAL METHODS MATHEMATICAL MODELS & METHODS IN APPLIED SCIENCES, 2011, 21 (06): : 1317 - 1353
- [46] One Class of Relativistically Invariant First-Order Equations Differential Equations, 2020, 56 : 1575 - 1586
- [47] Automatic Reformulation of ODEs to Systems of First-Order Equations ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2018, 44 (03):
- [48] Explicit–Implicit Schemes for First-Order Evolution Equations Differential Equations, 2020, 56 : 882 - 889
- [49] Non-local symmetries of first-order equations IMA Journal of Applied Mathematics (Institute of Mathematics and Its Applications), 1998, 60 (02): : 187 - 198