Amanote Research
Register
Sign In
Formalization of the MRDP Theorem in the Mizar System
Formalized Mathematics
- Poland
doi 10.2478/forma-2019-0020
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computational Mathematics
Applied Mathematics
Date
July 1, 2019
Authors
Karol Pąk
Publisher
Walter de Gruyter GmbH
Related search
Formalization of Pell's Equations in the Mizar System
Commutative Algebra in the Mizar System
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
The Formalization Research on Self-Adaptive Psychological Surveying System
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
The Formalization of Discrete Fourier Transform in HOL
Mathematical Problems in Engineering
Mathematics
Engineering
A Formalization of the Coach Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining the Syntactic and Semantic Representations of Mizar Proofs
Formalization of the Program Reference Language.
