research
∙
09/29/2020
Quadratic Extensions in ACL2
Given a field K, a quadratic extension field L is an extension of K that...
research
∙
10/10/2018
Use your Google Account to sign in to DeepAI