Sqrt_Babylonian

swMATH32205MaRDI QIDQ43916FDOQ43916

Author name not available (Why is that?)

Cited In (2)

• A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
• Semi-intelligible Isar proofs from machine-generated proofs

This page was built for software: Sqrt_Babylonian