( there is a thread about this from 2014 but it went nowhere )
Symbolic differentiation might be interesting for my circuit
simulation engine. Is there a Forth package available
to handle this, or at least be helpful with nuts and bolts when
implementing something?
( there is a thread about this from 2014 but it went nowhere )
Symbolic differentiation might be interesting for my circuit
simulation engine. Is there a Forth package available
to handle this, or at least be helpful with nuts and bolts
when implementing something?
I'd like to avoid having to build a full Lisp or Prolog engine
first (unless these are completely hands-off / can be kept
invisible).
By "Symbolic Differentiation", do you mean "Automatic Differentiation"?
If so you can see the Julia language packages for AD "Automatic Differentiation" based on:
- dual numbers
- complex numbers (for precision)
John Wavrik ( https://math.ucsd.edu/~jwavrik/ ) has used
Forth for work in algebra. He is probably not active anymore,
but you might find some useful pointers on his pages
(also https://math.ucsd.edu/~jwavrik/pub/index.html ).
(https://en.wikipedia.org/wiki/Automatic_differentiation).
mhx@iae.nl (mhx) writes:
(https://en.wikipedia.org/wiki/Automatic_differentiation).
This is more concise and is where I first heard of the topic:
http://blog.sigfpe.com/2005/07/automatic-differentiation.html
It also points to a portal site, https://www.autodiff.org/
Sigfpe.com is a really cool site and I learned a lot there.
Both references assume for granted that readers know why one
would want to symbolically differentiate a computational procedure. I
see that sigfpe's lost paper (search on the Wayback machine for http://homepage.mac.com/sigfpe/paper.pdf)
takes very good care of that and he probably didn't want to repeat
himself on his blog (such people exist :-)
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 300 |
Nodes: | 16 (2 / 14) |
Uptime: | 52:42:00 |
Calls: | 6,712 |
Files: | 12,243 |
Messages: | 5,355,184 |