Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Diophantine Sets. Part II. | 0 | 0.34 | 2019 |
| Formalization of the MRDP Theorem in the Mizar System. | 0 | 0.34 | 2019 |
| Diophantine sets. Preliminaries. | 0 | 0.34 | 2018 |
| Combining the Syntactic and Semantic Representations of Mizar Proofs. | 0 | 0.34 | 2018 |
| Basic Diophantine Relations. | 0 | 0.34 | 2018 |
| The Matiyasevich Theorem. Preliminaries. | 0 | 0.34 | 2017 |
| Readable Formalization of Euler’s Partition Theorem in Mizar | 1 | 0.36 | 2015 |
| The Friendship Theorem | 0 | 0.34 | 2012 |
| The Rotation Group | 1 | 0.40 | 2012 |
| Trust in RDF Graphs. | 1 | 0.36 | 2012 |
| Continuity of Barycentric Coordinates in Euclidean Topological Spaces. | 4 | 0.80 | 2011 |
| Linear Transformations Of Euclidean Topological Spaces. Part Ii | 0 | 0.34 | 2011 |
| Brouwer Fixed Point Theorem for Simplexes. | 0 | 0.34 | 2011 |
| Linear Transformations Of Euclidean Topological Spaces | 4 | 1.16 | 2011 |
| Brouwer Fixed Point Theorem in the General Case. | 0 | 0.34 | 2011 |
| Abstract Simplicial Complexes | 2 | 0.44 | 2010 |
| The Geometric Interior In Real Linear Spaces | 0 | 0.34 | 2010 |
| Affine Independence In Vector Spaces | 0 | 0.34 | 2010 |
| Sperner's Lemma. | 0 | 0.34 | 2010 |