Formalization of Pell's Equations in the Mizar System.

Marcin Acewicz Karol Pak

Published in: FedCSIS (2017)

Keyphrases

computer assisted
numerical solution
mathematical model
knowledge representation
formal model
linear equations
data sets
machine learning
image processing
image sequences
probabilistic model
operational semantics
polynomial equations