• The Fundamental Theorem of Algebra in ACL2 https://arxiv.org/abs/1810.04314 15 comments 28/7/2021

Related searches:

Search whole site: site:arxiv.org

Search title: [1810.04314] The Fundamental Theorem of Algebra in ACL2

See how to search.