共 50 条
- [32] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems Journal of Automated Reasoning, 2013, 51 : 57 - 77
- [34] Banach's theorem in higher-order reverse mathematics COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2023, 12 (03): : 203 - 225
- [35] A generalization of Nash's theorem with higher-order functionals PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2013, 469 (2154):
- [37] THE HAMILTONIAN-FORMALISM IN HIGHER-ORDER VARIATIONAL-PROBLEMS - COMMENT ANNALES DE L INSTITUT HENRI POINCARE-PHYSIQUE THEORIQUE, 1985, 42 (02): : 213 - 213
- [39] HIGHER-ORDER VARIATIONAL PROBLEMS ON LIE GROUPS AND OPTIMAL CONTROL APPLICATIONS JOURNAL OF GEOMETRIC MECHANICS, 2014, 6 (04): : 451 - 478