1. Bochnak, J., Coste, M., Roy, M.F.: Real Algebraic Geometry. A series of modern surveys in mathematics. Springer (2010)
2. Buss, J.F., Frandsen, G.S., Shallit, J.: The computational complexity of some problems of linear algebra. J. Comput. Syst. Sci. 58(3), 572–596 (1999)
3. Cox, D.A., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer (2007)
4. Dubins, L.E.: On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of Mathematics 79(3), 497–516 (1957)
5. Ghorbal, K., Platzer, A.: Characterizing algebraic invariants by differential radical invariants. Tech. Rep. CMU-CS-13-129, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 15213 (November 2013), http://reports-archive.adm.cs.cmu.edu/anon/2013/abstracts/13-129.html