10 citations · 31 across the 16 of their papers we have counts for
5 papers · 1 filter
Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (II)
Yohji Akama
We classify all edge-to-edge spherical isohedral 4-gonal tilings such that the skeletons are pseudo-double wheels. For this, we characterize these spherical tilings by a quadratic…
Hyperbolic polyhedral surfaces with regular faces
Yohji Akama, Bobo Hua
We study hyperbolic polyhedral surfaces with faces isometric to regular hyperbolic polygons satisfying that the total angles at vertices are at least The combinatorial inform…
Confluent terminating extensional lambda-calculi with surjective pairing and terminal type
Yohji Akama
For the lambda-calculus with surjective pairing and terminal type, Curien and Di Cosmo were inspired by Knuth-Bendix completion, and introduced a confluent rewriting system that (1…
Tilings of the Sphere by Congruent Pentagons III: Edge Combination
Yohji Akama, Erxiao Wang, Min Yan
There are exactly eight edge-to-edge tilings of the sphere by congruent equilateral pentagons: three pentagonal subdivision tilings with 12, 24, 60 tiles; four earth map tilings wi…
Areas of spherical polyhedral surfaces with regular faces
Yohji Akama, Bobo Hua, Yanhui Su
For a finite planar graph, it associates with some metric spaces, called (regular) spherical polyhedral surfaces, by replacing faces with regular spherical polygons in the unit sph…