Sergei D. Meshveliani. On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain. Programming and Computer Software, 46(2):110-119, 2020. [doi]
@article{Meshveliani20,
title = {On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain},
author = {Sergei D. Meshveliani},
year = {2020},
doi = {10.1134/S0361768820020073},
url = {https://doi.org/10.1134/S0361768820020073},
researchr = {https://researchr.org/publication/Meshveliani20},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {46},
number = {2},
pages = {110-119},
}