共 50 条
- [2] Higher-Order Calculus of Variations on Time Scales [J]. MATHEMATICAL CONTROL THEORY AND FINANCE, 2008, : 149 - 159
- [3] REGULARITY OF MINIMIZERS OF NONISOTROPIC INTEGRALS OF THE CALCULUS OF VARIATIONS [J]. ANNALI DI MATEMATICA PURA ED APPLICATA, 1993, 164 : 77 - 87
- [6] DOES THERE EXIST A FORMALISM OF HAMILTON-JACOBI-E-CARTAN FOR HIGHER-ORDER MULTIPLE INTEGRALS IN THE CALCULUS OF VARIATIONS [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1984, 298 (16): : 397 - 400
- [7] Reversibility in the higher-order π-calculus [J]. THEORETICAL COMPUTER SCIENCE, 2016, 625 : 25 - 84
- [9] HIGHER-ORDER INVARIANCE PROBLEMS IN CALCULUS OF VARIATIONS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A169 - A169
- [10] Higher-order lazy narrowing calculus: A solver for higher-order equations [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493