Conservation laws in curvilinear coordinates: A short proof of Vinokur's Theorem using differential forms.

Thomas J. Bridges

Published in: Appl. Math. Comput. (2008)

Keyphrases

conservation laws
interactive theorem proving
particle physics
stochastic systems
computer vision
linear combination
partial differential equations
matrix decomposition