Explorando Conceitos De Geometria não-Euclidiana Com Softwares De Geometria dinâmica. C. Q. D. 2020, 18.