Voir la notice de l'article provenant de la source Numdam
@article{PHSC_2005__9_S2_43_0, author = {Larvor, Brendan}, title = {Proof in {C17} algebra}, journal = {Philosophia Scientiae}, pages = {43--59}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {S2}, year = {2005}, language = {en}, url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_43_0/} }
Larvor, Brendan. Proof in C17 algebra. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 43-59. http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_43_0/