75 citations · 114 across the 41 of their papers we have counts for
42 papers
Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
Martin Klazar
We present, in detail and with a modern rigor, the two title proofs. The Weak Jordan Theorem (WJT) states that the complement of any topological circuit in the plane is disconnecte…
Catalan's conjecture is Mihăilescu's theorem
Martin Klazar
This text evolves from the lecture notes for my course on Catalan's conjecture in winter term 2025/26. The ultimate goal is to give full details of Mihăilescu's proof. Current chap…
The transcendence of via formal power series
Martin Klazar
We review Hilbert's classical analytical proof of the transcendence of the number . Then, we show how this result can be obtained algebraically by means of formal power…
Generalizations of Pólya's theorem on random walks obtained via an extension of the symbolic method in enumerative combinatorics. I
M. Klazar, R. Horský
We use our extension of a fragment of the symbolic method in enumerative combinatorics when we allow finite sums defining the coefficients of generating functions to become infinit…
Cantor digraphs and abbreviations of formulas
Martin Klazar
A digraph () is Cantor if Cantor's theorem - for no set there is a surjection from it to its power set - holds in , in the sense we ex…
Elementary Real Analysis
Martin Klazar
Preliminary version of a book on univariate real analysis, with 14 chapters and 2 appendices. 1. Five numeric domains; 2. Limits of real sequences; 3. Series; 4. Limits of real fun…