Amanote Research
Register
Sign In
Formalization of Pell's Equations in the Mizar System
doi 10.15439/2017f314
Full Text
Open PDF
Abstract
Available in
full text
Date
September 24, 2017
Authors
Marcin Acewicz
Karol Pąk
Publisher
IEEE