Fork me on GitHub
#core-logic
<
2020-04-13
>
dmarjenburgh07:04:45

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.

dmarjenburgh13:04:42

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.

EmmanuelOga04:04:56

have you seen these books by any chance?

EmmanuelOga04:04:35

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

EmmanuelOga04:04:09

also, they are ~20 year old books so maybe not precisely state of the art haha

EmmanuelOga04:04:10

the source of sympy seems like a good resource too

dmarjenburgh04:04:04

I had not seen those books. Thanks!

👍 4