The previous page is sending you to https://www.semanticscholar.org/paper/Formal-proofs-in-real-algebraic-geometry%3A-from-to-Cohen-Mahboubi/840db69a56cee90190fd6f44272573d225efa814.

 If you do not want to visit that page, you can return to the previous page.