Essays about: "Jeremy Pope"
Found 1 essay containing the words Jeremy Pope.
-
1. Formalizing Constructive Quantifier Elimination in Agda
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : In this thesis a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow [16]. The formalization is implemented and verified in the programming language/proof assistant Agda [1]. READ MORE
Result pages:
1