Computing over the Reals with Addition and Order

Pascal Koiran. Computing over the Reals with Addition and Order. Theoretical Computer Science, 133(1):35-47, 1994.

Abstract

Abstract is missing.