[taylorexpander]

I tried reading your 27 page long essay but got bored a couple pages in and then skimmed the rest. After that I looked at the examples in the repository.

My only question is: why? Seriously, what problem are you trying to solve here?

Your 27 page long essay was useless in conveying that to me because it was written overly explicit and seems to have too much background but not really any content.

Looking at the examples I just don't see a point. I'm a scientist. I work with PDEs. You even mentioned one of the software I work with in your paper.

Nothing you have written explains to me why I should decide to write e.g.:

nabla v = 0

In whatever notation it is you are trying to sell me.

So please explain.

[khinsen]

In Leibniz, you wouldn't write only "nabla v = 0", but also what v is (by associating it with a sort), what properties v has (e.g. being positive), and how you actually obtained "nabla v = 0" from some first principles, using a sequence of transformations.

The point of Leibniz is to communicate information to other scientists, but in a notation that can be analyzed and verified by computer programs. An immediate advantage is coherence checking by the Leibniz system - you cannot use undefined quantities in an equation, for example.