共 50 条
- [21] A NEW MULTISYMPLECTIC UNIFIED FORMALISM FOR SECOND ORDER CLASSICAL FIELD THEORIES JOURNAL OF GEOMETRIC MECHANICS, 2015, 7 (02): : 203 - 253
- [23] First-Order Dyson Coordinates and Geometry JOURNAL OF PHYSICAL CHEMISTRY A, 2013, 117 (32): : 7179 - 7189
- [28] Lagrangian constraint analysis of first-order classical field theories with an application to gravity PHYSICAL REVIEW D, 2020, 102 (06):
- [29] Compact Propositional Encodings of First-Order Theories 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1579 - 1580