Sqrt_Babylonian

MaRDI QIDQ43916swMATHFDO

Authors René Thiemann

Publication date 3 January 2013

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

Cites work

• A history of Greek mathematics. Vol. 1: From Thales to Euclid. Vol. 2: From Aristarchus to Diophantus.
• Certification of Termination Proofs Using CeTA

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