| http://www.w3.org/ns/prov#value | - Regarding the question of whether there is a Feynman-Kac formula assuming Dirichlet conditions, it seems that the formula would be signed rather than unsigned (basically one picks up a minus sign whenever one bounces off the boundary) which looks not particularly useful for proving comparison theorems.
|
