Students of the extended abstract in proving Lobachevsky's parallel lines theorem - Widada, Wahyu; Herawaty, Dewi; Jumri, Rahmat; Wulandari, Hayatri; Aliza, Fenny; Anggoro, Abdurrobbil F D (Journal of physics. Conference series, 2020)
Keywords: Data analysis; Geometry; Physics; Qualitative analysis; Students; Theorem proving; Theorems