Searching for "A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Pragmatic Approach to Extending Provers by Computer Algebra -- with Applications to Coding Theory
by Clemens Ballarin, Lawrence C. Paulson — 1999 — FUNDAMENTA INFORMATICAE
… / Extending Provers by Computer Algebra 3. Polynomial Algebra The algebraic approach to cyclic codes is based…
Cited by 8 (4 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB