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