Formalization of Pell's Equations in the Mizar System

doi 10.15439/2017f314
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Formalization of the MRDP Theorem in the Mizar System

Formalized Mathematics
Computational MathematicsApplied Mathematics
2019English

Commutative Algebra in the Mizar System

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2001English

MizAR 40 for Mizar 40

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

The Formalization Research on Self-Adaptive Psychological Surveying System

2015English

Progress in the Independent Certification of Mizar Mathematical Library in Isabelle

2017English

Formalization of Methods in Criminalistics

Law and Safety
2019English

The Formalization of Discrete Fourier Transform in HOL

Mathematical Problems in Engineering
MathematicsEngineering
2015English

A Model of Mizar Concepts - Unification

Formalized Mathematics
Computational MathematicsApplied Mathematics
2010English

Formalization in Systems Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy