×

Found 3 Documents (Results 1–3)

A formal proof of the computation of Hermite normal form in a general setting. (English) Zbl 1515.68350

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 37-53 (2018).
MSC:  68V20 15A21 68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field