Clojurians Log v2
Clojure programming
Channels
Apps
core-logic
2020-04-13T07:14:45.027900Z
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
2020-04-15T13:03:42.028500Z
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:13:57.028900Z
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:
EmmanuelOga 2020-04-16T04:20:13.030Z
2020-04-16T04:55:04.030300Z
I had not seen those books. Thanks!