Searching for links to PoincaresDisc:
Axiom
NonEuclideanGeometry