Diophantine

swMATH28649MaRDI QIDQ40363FDOQ40363

Author name not available (Why is that?)

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