SU\G(𝔸)/K·U

Karol Pąk

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers 2024 Karol Pąk
Cezary Kaliszyk
+ PDF Chat Prime Representing Polynomial with 10 Unknowns – Introduction. Part II 2022 Karol Pąk
+ Formalizing a Diophantine Representation of the Set of Prime Numbers 2022 Karol Pąk
Cezary Kaliszyk
+ PDF Chat Prime Representing Polynomial 2021 Karol Pąk
+ PDF Chat AIM Loops and the AIM Conjecture 2019 Chad E. Brown
Karol Pąk
+ PDF Chat Diophantine Sets. Part II 2019 Karol Pąk
+ PDF Chat A Tale of Two Set Theories 2019 Chad E. Brown
Karol Pąk
+ Diophantine Sets. Part II. 2019 Karol Pąk
+ PDF Chat Diophantine sets. Preliminaries 2018 Karol Pąk
+ Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. 2018 Karol Pąk
+ Diophantine sets. Preliminaries. 2018 Karol Pąk
+ PDF Chat The Matiyasevich Theorem. Preliminaries 2017 Karol Pąk
+ PDF Chat Pell’s Equation 2017 Marcin Acewicz
Karol Pąk
+ PDF Chat Vieta’s Formula about the Sum of Roots of Polynomials 2017 Artur Korniłowicz
Karol Pąk
+ PDF Chat Leibniz Series for π 2016 Karol Pąk
+ Topological Foundations for a Formal Theory of Manifolds. 2016 Karol Pąk
+ Leibniz Series for π. 2016 Karol Pąk
+ PDF Chat Euler’s Partition Theorem 2015 Karol Pąk
+ PDF Chat Flexary Operations 2015 Karol Pąk
+ Readable Formalization of Euler's Partition Theorem in Mizar. 2015 Karol Pąk
+ PDF Chat Improving legibility of natural deduction proofs is not trivial 2014 Karol Pąk
+ Bertrand’s Ballot Theorem 2014 Karol Pąk
+ PDF Chat Topological Manifolds 2014 Karol Pąk
+ PDF Chat Tietze Extension Theorem for n-dimensional Spaces 2014 Karol Pąk
+ PDF Chat Brouwer Invariance of Domain Theorem 2014 Karol Pąk
+ The Rotation Group 2012 Karol Pąk
+ PDF Chat Linear Transformations of Euclidean Topological Spaces. Part II 2011 Karol Pąk
+ PDF Chat Brouwer Fixed Point Theorem for Simplexes 2011 Karol Pąk
+ PDF Chat Brouwer Fixed Point Theorem in the General Case 2011 Karol Pąk
+ PDF Chat The Geometric Interior in Real Linear Spaces 2010 Karol Pąk
+ PDF Chat Sperner's Lemma 2010 Karol Pąk
+ PDF Chat Abstract Simplicial Complexes 2010 Karol Pąk
+ PDF Chat Jordan Matrix Decomposition 2008 Karol Pąk
+ PDF Chat Eigenvalues of a Linear Transformation 2008 Karol Pąk
+ PDF Chat Basic Properties of the Rank of Matrices over a Field 2007 Karol Pąk
+ PDF Chat Laplace Expansion 2007 Karol Pąk
Andrzej Trybulec
+ The Nagata-Smirnov Theorem. Part II 1 2004 Karol Pąk
Common Coauthors
Coauthor Papers Together
Chad E. Brown 2
Andrzej Trybulec 1
Marcin Acewicz 1
Cezary Kaliszyk 1
Artur Korniłowicz 1
Cezary Kaliszyk 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Some Basic Properties of Sets 2004 Czesław Byliński
 15
+ Segments of Natural Numbers and Finite Sequences 1990 Grzegorz Bancerek
Krzysztof Hryniewiecki
 15
+ Vectors in Real Linear Space 1990 Wojciech A. Trybulec
 12
+ Abelian Groups, Fields and Vector Spaces 1 1990 Eugeniusz Kusak
 8
+ The Euclidean Space 1991 Agata Darmochwa
 6
+ Some Properties of Some Special Matrices 2005 Xiaopeng Yue
Xiquan Liang
Zhongpin Sun
 5
+ Brouwer Fixed Point Theorem for Disks on the Plane 2005 Artur Korni
Yasunari Shidama
 5
+ A Borsuk Theorem on Homotopy Types 1991 Andrzej Trybulec
 5
+ Tarski Grothendieck Set Theory 1990 Andrzej Trybulec
 5
+ Transpose Matrices and Groups of Permutations 1991 Katarzyna Jankowska
 5
+ Linear Combinations in Vector Space 1990 Wojciech A. Trybulec
 4
+ PDF Chat Convex Sets and Convex Combinations on Complex Linear Spaces 2008 Hidenori Matsuzaki
Noboru Endou
Yasunari Shidama
 4
+ Subspaces and Cosets of Subspaces in Vector Space 1990 Wojciech A. Trybulec
 4
+ PDF Chat Basic Properties of the Rank of Matrices over a Field 2007 Karol Pąk
 4
+ Binary Operations on Finite Sequences 1990 Wojciech A. Trybulec
 4
+ Real Sequences and Basic Operations on Them 2004 Jarosław Kotowicz
 4
+ PDF Chat Arithmetic Operations on Functions from Sets into Functional Sets 2009 Artur Korniłowicz
 3
+ PDF Chat Pell’s Equation 2017 Marcin Acewicz
Karol Pąk
 3
+ Logic of Mathematics 1997 Zofia Adamowicz
Paweł Zbierski
 3
+ PDF Chat Abstract Simplicial Complexes 2010 Karol Pąk
 3
+ PDF Chat The Matiyasevich Theorem. Preliminaries 2017 Karol Pąk
 3
+ BASIS FOR A VECTOR SPACE 2020 3
+ Product of Families of Groups and Vector Spaces 1992 Anna Lango
Grzegorz Bancerek
 3
+ PDF Chat The Rank+Nullity Theorem 2007 Jesse Alama
 3
+ Paracompact and Metrizable Spaces 1991 Leszek Borys
 3
+ PDF Chat Determinant of Some Matrices of Field Elements 2006 Yatsuka Nakamura
 3
+ Fundamental theorem of algebra 2003 3
+ Primes are nonnegative values of a polynomial in 10 variables 1981 Yu. V. Matijasevič
 2
+ PDF Chat Sperner's Lemma 2010 Karol Pąk
 2
+ PDF Chat Further results on Hilbert’s Tenth Problem 2020 Zhi‐Wei Sun
 2
+ Rings and Modules - Part II 1991 Micha l Muzalewski
 2
+ Countable Sets and Hessenberg's Theorem 1991 Grzegorz Bancerek
 2
+ The Rotation Group 2012 Karol Pąk
 2
+ PDF Chat The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines 2010 Artur Korniłowicz
 2
+ Lectures on Integer Partitions 2009 Herbert S. Wilf
 2
+ Hilbert's Tenth Problem is Unsolvable 1973 Martin Davis
 2
+ Subspaces and Cosets of Subspaces in Real Linear Space 1990 Wojciech A. Trybulec
 2
+ PDF Chat The Fundamental Theorem of Algebra 2001 2
+ Basis of Real Linear Space 1990 Wojciech A. Trybulec
 2
+ Diophantine Representation of the Set of Prime Numbers 1976 James P. Jones
Daihachiro Sato
Hideo Wada
Douglas P. Wiens
 2
+ PDF Chat Preliminaries to Classical First Order Model Theory 2011 Marco B. Caminati
 2
+ Linear Combinations in Real Linear Space 1990 Wojciech A. Trybulec
 2
+ PDF Chat The Perfect Number Theorem and Wilson's Theorem 2009 Marco Riccardi
 1
+ PDF Chat Uniform Boundedness Principle 2008 Hideki Sakurai
Hisayoshi Kunimune
Yasunari Shidama
 1
+ The legacy of Leonhard Euler: a tricentennial tribute 2010 Lokenath Debnath
 1
+ Foundations of Set Theory 2012 Abraham A. Fraenkel
Yehoshua Bar‐Hillel
 1
+ PDF Chat Tietze Extension Theorem for n-dimensional Spaces 2014 Karol Pąk
 1
+ A formal proof of the four color theorem 2009 Limin Xiang
 1
+ Real Exponents and Logarithms 1 1991 Konrad Raczkowski
 1
+ PDF Chat Partial Differentiation on Normed Linear Spaces Rn 2007 Noboru Endou
Yasunari Shidama
Keiichi Miyajima
 1