Publisher
Springer Nature Switzerland
Reference12 articles.
1. Basu, S., Pollack, R., Roy M.F.: Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics, 2nd edn. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-33099-2
2. Bertot, Y.: Formal Verification of a geometry algorithm: a quest for abstract views and symmetry in coq proofs. In: Fischer, B., Uustalu, T. (eds.) ICTAC 2018, vol. 11187, pp. 3–10. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-030-02508-3_1
3. Bertot, Y., Guilhot, F., Mahboubi, A.: A formal study of Bernstein coefficients and polynomials. Math. Struct. Comput. Sci. 21(04), 731–761 (2011)
4. Cohen, C., Mahboubi, A.: Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Logical Methods Comput. Sci. 8(102), 1–40 (2012)
5. Dijkstra, E.W.: A note on two problems in connexion with graphs. Numer. Math. 1(1), 269–271 (1959)