Summary
- added Karatsuba's multplication algorithm for polynomials
The file was added | thys/Berlekamp_Zassenhaus/Karatsuba_Multiplication.thy |
The file was modified | thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy (diff) |
The file was added | thys/Berlekamp_Zassenhaus/Karatsuba_Multiplication.thy |
The file was modified | thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy (diff) |