Sqrt_Babylonian

swMATH32205MaRDI QIDQ43916FDOQ43916

Author name not available (Why is that?)

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

Cited In (4)

• A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
• Semi-intelligible Isar proofs from machine-generated proofs
• Vector Spaces
• Network Security Policy Verification

This page was built for software: Sqrt_Babylonian