Modular_arithmetic_LLL_and_HNF_algorithms

MaRDI QIDQ5974233swMATHFDO

Authors Ralph Bottesch, Jose Divasón, René Thiemann

Publication date 12 March 2021

Official website https://www.isa-afp.org/entries/Modular_arithmetic_LLL_and_HNF_algorithms.html

Cited in

(3)

• A formalization of the Smith normal form in higher-order logic
• Smith_Normal_Form
• Hermite

This page was built for software: Modular_arithmetic_LLL_and_HNF_algorithms