1. Abdeljaoued, J., Lombardi, H.: Méthodes matricielles - Introduction à la complexité algébrique. Springer (2004)
2. Barendregt, H., Geuvers, H., Pollack, R., Wiedijk, F., Zwanenburg, J.: The “fundamental theorem of algebra” project,
http://www.cs.ru.nl/~freek/fta/
3. Lecture Notes in Computer Science;Y. Bertot,2008
4. Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation 9(3), 251–280 (1990)
5. Lecture Notes in Computer Science;F. Garillot,2009