Sqrt_Babylonian

MaRDI QIDQ43916swMATHFDO

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

Cited in

(4)

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

This page was built for software: Sqrt_Babylonian