Formalization of Pell's Equations in the Mizar System
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
An Example of Formalizing Recent Mathematics in Mizar an Example of Formalizing Recent Mathematics in Mizar 2
Adam Naumowicz • Jul 15, 2015
The Mizar System Course : CAS 760 Logic for Practical Use
William M. Farmer + 1 • Jul 13, 2015
Dependencies in Formal Mathematics: Applications and extraction for Coq and Mizar
Jesse Alama + 2 • Jul 06, 2015