DoCon-A

MaRDI QIDQ53332swMATHFDO

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