Talk:Gradient of Dot Product

From ProofWiki
Jump to navigation Jump to search

From the commit summary for the completion of the proof:

"It uses the gradient of a vector field, which is not in the Definition:Gradient page. I would appreciate some feedback on whether to update the Gradient page, link to the covariant derivative page, or finding a source."

I'll just leave it up there.

We do have Definition:Gradient Operator/Real Cartesian Space but we need something more general. --prime mover (talk) 10:35, 5 January 2025 (UTC)