proofpsurfs
Proofpsurfs, also known as proof surfaces, are mathematical objects used in the study of hyperbolic geometry and complex analysis. They were introduced by Henri Poincaré in the late 19th century as a tool for visualizing and understanding the geometry of hyperbolic spaces. A proofpsurf is essentially a two-dimensional surface that is embedded in a three-dimensional hyperbolic space, and it has the property that any geodesic (shortest path) on the surface is also a geodesic in the ambient hyperbolic space.
The study of proofpsurfs is closely related to the theory of Kleinian groups, which are discrete subgroups
Proofpsurfs have also been used in the study of complex analysis, where they are used to construct
In recent years, there has been renewed interest in the study of proofpsurfs, due in part to