Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5.

Artem Revenko

Browse the full ICFCA paper archive.