April 2021
6 papers.
-
Point-free Construction of Real Exponentiation
23 definitions40 statements31 proofs
-
Klein’s ten planar dessins of degree 11, and beyond
1 definition14 statements6 proofs3 conjectures
-
Discrete Painlevé transcendent solutions to the multiplicative type discrete KdV equations
4 statements
-
Liouville theorems for harmonic map heat flow along ancient super Ricci flow via reduced geometry
20 statements11 proofs
-
Istances and Brø ndsted’s variational principle
2 definitions8 statements7 proofs
-
Generalized hyperharmonic number sums with reciprocal binomial coefficients
2 definitions19 statements13 proofs