- From: Abbas Jaffary <abbas.jaffary2@gmail.com>
- Date: Wed, 19 Jun 2024 09:45:21 -0500
- Cc: www-math@w3.org
- Message-ID: <CA+3LRawqXtWSdkYtz24XUj3S-wv5jQjrbExcdh-9Ar-oQ+AuPg@mail.gmail.com>
Very interesting! There is also the differential geometry use of derivatives as one-forms (and k-forms), and the as boundary operator in algebraic topology. In homology, for example, one could likely infer "partial x" as the "boundary of x", though it would be nice to have it say "boundary". I imagine there will be some crowdsourced effort to accommodate the most popular use cases for fundamental symbols. Not sure where OpenMath is with this? On Wed, Jun 19, 2024 at 8:49 AM Deyan Ginev <deyan.ginev@gmail.com> wrote: > Hello everyone, > > I stumbled on a very well-made exposition video, which covers a subtlety > in the meaning of "partial derivative" between mathematics and physics: > > https://youtu.be/QFHSHhpbo00 > > Aside: This topic is not directly related to current conversations about > derivative syntax for "intent". > > Instead, the presenter has some well-reasoned general discussion, a > community proposal for adding yet-another notation, and showcases some of > the problems that our generator tools also face when trying to infer > Content MathML expressions from human-authored math syntax. > > Greetings, > Deyan >
Received on Thursday, 20 June 2024 12:56:27 UTC