search

ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

implement polynomial sqrt #14

Open ohhmm opened 6 years ago

ohhmm commented 6 years ago

https://math.stackexchange.com/questions/324385/algorithm-for-finding-the-square-root-of-a-polynomial

ohhmm commented 9 months ago

https://math.stackexchange.com/a/1854191/118612 into Sum::Sqrt