Publisher
Springer International Publishing
Reference12 articles.
1. Alperin, R.C.: Gauss-newton lines and eleven point conics. J. Geomet. Graphics 16, 123–128 (2012)
2. Alsina, C., Nelsen, R.B.: Charming Proofs. A J. Into Elegant Mathematics. MAA (2010)
3. Capani, A., Niesi, G., Robbiano, L: CoCoA, a system for doing computations in commutative algebra.
http://cocoa.dima.unige.it
4. Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht (1987)
5. Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms, 2nd edn. Springer, New York, Berlin, Heidelberg (1997)