Clemens Ballarin, Lawrence C. Paulson. A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory. Fundamenta Informaticae, 39(1-2):1-20, 1999.
@article{BallarinP99,
title = {A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory},
author = {Clemens Ballarin and Lawrence C. Paulson},
year = {1999},
tags = {C++, algebra, systematic-approach},
researchr = {https://researchr.org/publication/BallarinP99},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {39},
number = {1-2},
pages = {1-20},
}