@ARTICLE{
author={Simic Danijela,Maric Filip M,Boutry Pierre},
year={2021},
title={Formalization of the Poincare Disc Model of Hyperbolic Geometry},
journal={JOURNAL OF AUTOMATED REASONING},
volume={65},
number={1},
pages={31-73},
document_type={Article},
}