David P. Sanders

Yes it's a complicated problem, but apparently at least partially solved already by Spyder -- have you checked it out? I have asked the developer of Spyder, Carlos Córdoba, what...

It will certainly be great to have the Notebook embedded in Spyder, but this by no means exempts the Notebook from needing this functionality on its own for all those...

Nor are they listed under the short version at https://joss.theoj.org/about EDIT: In the *Scope & submission requirements* section.

OK I see what you mean, but presumably it's a requirement that there should be some kind of documentation. E.g. in https://github.com/joglekara/VlaPy there isn't really any, other than a dense...

I was referring to the software license for the code.

They also do not seem to be seen by `?BigFloat` at the REPL.

It's quite possible that ReversePropagation.jl will be integrated into ModelingToolkit.jl at some point.

Something in Symbolics.jl broke this, I believe in the transition from version 3 to 4 of that package. Ref: https://github.com/dpsanders/ReversePropagation.jl/issues/64 That issue contains a fix (?) but requires some work...

@KristofferC: That's fair; I guess a naive version should require a lot less space and time, but there is a lot of compilation complication due e.g. to tagging that is...

My Google-fu has deserted me and I am unable to find what ANF might be.