Crossmark

On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain

Crossref DOI link: https://doi.org/10.1134/S0361768820020073

Published Online: 2020-04-18

Published Print: 2020-03

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Meshveliani, S. D.
License Information

Text and Data Mining valid from 2020-03-01

Version of Record valid from 2020-03-01
More Information

Article History

Received: 31 August 2019

Revised: 20 September 2019

Accepted: 10 October 2019

First Online: 18 April 2020