|
1 |
Alternative proofs of some classical metric fixed point theorems by using approximate fixed point sequences
Enthalten in Arabian journal of mathematics 29.9.2022: 1-11
|
|
|
|
2 |
Combinatorial proofs and refinements of three partition theorems of Andrews
Enthalten in The Ramanujan journal 7.8.2022: 1-14
|
|
|
|
3 |
Combinatorial proofs and generalization of Bringmann, Lovejoy and Mahlburg’s overpartition theorems
Enthalten in The Ramanujan journal 21.7.2020: 1-16
|
|
|
|
4 |
Combinatorial proofs of two theorems related to the number of even parts in all partitions of n into distinct parts
Enthalten in The Ramanujan journal 25.10.2019: 1-6
|
|
|
|
5 |
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
Enthalten in Mathematical logic quarterly Bd. 58, 2012, Nr. 4‐5: 307-316. 10 S.
|
|
|
|
6 |
On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda
Enthalten in Reliable computing Bd. 11, Nr. 1, date:2.2005: 77-85
|
|
|
|
7 |
Boolos‐style proofs of limitative theorems
Enthalten in Mathematical logic quarterly Bd. 50, 2004, Nr. 2: 211-216. 6 S.
|
|
|
|
8 |
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
Enthalten in Demonstratio mathematica Bd. 32, 1999, Nr. 2: 401-412. 12 S.
|
|
|
|
9 |
Simple proofs of Olevskii type theorems
Enthalten in Mathematical notes Bd. 59, Nr. 3, date:3.1996: 241-246
|
|
|
|
10 |
Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems
Enthalten in Annals of mathematics and artificial intelligence Bd. 13, Nr. 1-2, date:3.1995: 109-137
|
|
Administration
