Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karol Pąk
The Friendship Theorem
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Affine Independence in Vector Spaces
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Formalization of the MRDP Theorem in the Mizar System
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Formalization of Pell's Equations in the Mizar System
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
Combining the Syntactic and Semantic Representations of Mizar Proofs
Solutions of Linear Equations
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Basic Properties of Metrizable Topological Spaces
Formalized Mathematics
Computational Mathematics
Applied Mathematics