@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://www.numdam.org/item/PHSC_2005__9_S2_43_0/}
}