1 Questions 6 Answers 0 Followers
Questions related from Thomas Sturm
When I have two equations f=0 and g=0 over the reals, I can equivalently rewrite them as one equation f2+g2=0. Are there any alternative such encodings known? I am specifically interested in...
15 December 2016 2,730 5 View