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.
No references recorded for this publication.
No citations of this publication recorded.