Clojurians Log v2
Clojure programming
Channels
Apps
core-logic 2020-04-13
Hi, I'm interested in symbolic equation solvers. Does anyone know a good source to read about the 'state-of-things' regarding research in this area? I'm familiar with PRESS (PRolog Equation Solving System) and am looking to implement something similar in core.logic, but need a good place to start reading up.
Joe Lane 2020-04-15T12:45:59.028100Z
Hi @dmarjenburgh Does this fit the bill? https://github.com/clojure-numerics/expresso https://github.com/mschuene/expresso-tutorial
Thanks, have seen it. Doesn't appear active anymore and couldn't find reference to research in the code. I might learn something from diving into the codebase though.
EmmanuelOga 2020-04-16T04:13:56.028700Z
have you seen these books by any chance?
EmmanuelOga 2020-04-16T04:14:35.029200Z
disclaimer: I know nothing about the subject, I just always have on the back burner to relearn some math, and I found the books when I was looking for computer algebra books
EmmanuelOga 2020-04-16T04:15:09.029400Z
also, they are ~20 year old books so maybe not precisely state of the art haha
EmmanuelOga 2020-04-16T04:20:10.029600Z
the source of sympy seems like a good resource too
EmmanuelOga 2020-04-16T04:20:11.029800Z
say: