Loading paper
Semi-algebraic geometry with rational continuous functions | Tomesphere