Diophantine

MaRDI QIDQ40363swMATHFDO

Official website https://devel.isa-afp.org/entries/Diophantine_Eqns_Lin_Hom.html

Described by source

• A formally verified solver for homogeneous linear Diophantine equations

This page was built for software: Diophantine