DoCon-A

swMATH37631MaRDI QIDQ53332FDOQ53332

Author name not available (Why is that?)

Official website: https://lists.chalmers.se/pipermail/agda/2017/009733.html

Described by source

• On a machine-checked proof for fraction arithmetic over a GCD domain

Cited In (1)

• A certified program for the Karatsuba method to multiply polynomials

This page was built for software: DoCon-A