| http://www.w3.org/ns/prov#value | - A formalism for variational calculus based on functorial analysis (with a precise relation with functional analytic methods and jet formalism) and a long list of examples of variational problems arising in classical mechanics and quantum field theory are collected in
|
