The following pages link to Karol Pąk (Q286804):
Displaying 49 items.
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Tietze extension theorem for \(n\)-dimensional spaces (Q467806) (← links)
- Brouwer invariance of domain theorem (Q467807) (← links)
- Flexary operations (Q491771) (← links)
- Euler's partition theorem (Q491772) (← links)
- Bertrand's ballot theorem (Q502696) (← links)
- Topological manifolds (Q502702) (← links)
- Leibniz series for \(\pi\) (Q520385) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- (Q1795564) (redirect page) (← links)
- The Matiyasevich theorem. Preliminaries (Q1795565) (← links)
- Diophantine sets. Preliminaries (Q1796771) (← links)
- Isabelle import infrastructure for the Mizar Mathematical Library (Q1798961) (← links)
- Methods of lemma extraction in natural deduction proofs (Q1945902) (← links)
- Grothendieck universes (Q2113837) (← links)
- Prime representing polynomial (Q2171524) (← links)
- A tale of two set theories (Q2287897) (← links)
- AIM loops and the AIM conjecture (Q2305344) (← links)
- Basic Diophantine relations (Q2311525) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Diophantine sets. II (Q2337339) (← links)
- Formalization of the MRDP theorem in the Mizar system (Q2337340) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Vieta's formula about the sum of roots of polynomials (Q2407503) (← links)
- Basel problem -- preliminaries (Q2407508) (← links)
- Basel problem (Q2407509) (← links)
- The friendship theorem (Q2852162) (← links)
- Linear transformations of Euclidean topological spaces (Q2865737) (← links)
- Linear transformations of Euclidean topological spaces. II. (Q2865738) (← links)
- Continuity of barycentric coordinates in Euclidean topological spaces (Q2865743) (← links)
- Brouwer fixed point theorem for simplexes (Q2865744) (← links)
- Brouwer fixed point theorem in the general case (Q2865745) (← links)
- The rotation group (Q2865758) (← links)
- Improving legibility of natural deduction proofs is not trivial (Q2921120) (← links)
- Readable Formalization of Euler’s Partition Theorem in Mizar (Q3453116) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (Q4628488) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Declarative Proof Translation (Short Paper) (Q5875449) (← links)
- Pell's equation (Q5915801) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Prime representing polynomial with 10 unknowns -- introduction (Q6489409) (← links)
- Conway numbers -- formal introduction (Q6557120) (← links)
- Integration of game theoretic and tree theoretic approaches to Conway numbers (Q6557121) (← links)
- The ring of Conway numbers in Mizar (Q6557122) (← links)
- Prime representing polynomial with 10 unknowns -- introduction. II (Q6557224) (← links)
- Prime representing polynomial with 10 unknowns (Q6557225) (← links)
- Formalizing a Diophantine representation of the set of prime numbers (Q6572564) (← links)
