Have a personal or library account? Click to login

Showing 49-56 of 56 for the term ""Pak, Karol""

Basic Properties of Determinants of Square Matrices over a Field1
Article

Basic Properties of Determinants of Square Matrices over a Field1

Pąk, Karol
Topological Manifolds
Article

Topological Manifolds

Pąk, Karol
Linear Map of Matrices
Article

Linear Map of Matrices

Pąk, Karol
Formalization of the MRDP Theorem in the Mizar System
Article

Formalization of the MRDP Theorem in the Mizar System

Pąk, Karol
Bertrand’s Ballot Theorem
Article

Bertrand’s Ballot Theorem

Pąk, Karol
Surreal Numbers: A Study of Square Roots
Article

Surreal Numbers: A Study of Square Roots

Pąk, Karol
The Ring of Conway Numbers in Mizar
Article

The Ring of Conway Numbers in Mizar

Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Article

Vieta’s Formula about the Sum of Roots of Polynomials

Korniłowicz, Artur, Pąk, Karol