Visual-geometric Representation of Theorem Proofs in Nomotex DLSYury I. Dimitrienko, Kirill M. Zubarev, Elena A. Gubareva, Tatyana L. Ivanova, Raisa K. Alesina and Alexander V. AlesinITM Web Conf., 35 (2020) 03009DOI: https://doi.org/10.1051/itmconf/20203503009
