How to encode two equations over the reals into one?

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,675 5 View