Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. apply Karatsuba-multplication also in record-based implementation of polynomials
Changeset 7434:4965d2e98676 by rene thiemann _rene.thiemann@uibk.ac.at_:
apply Karatsuba-multplication also in record-based implementation of polynomials
The file was modified thys/Berlekamp_Zassenhaus/Karatsuba_Multiplication.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy (diff)