Is Formalizing Semifield Duality Worth it?

Francisco J. Valverde-Albacete, Carmen Pelez-Moreno

Browse the full ISAIM paper archive.