Tortoise Hare

MaRDI QIDQ40364swMATHFDO

Authors Peter Gammie

Publication date 18 November 2015

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

Cites work

• An efficient collision detection method for computing discrete logarithms with Pollard's rho
• An improved Monte Carlo factorization algorithm
• Automating Induction with an SMT Solver
• Cycle detection using a stack
• Unnamed Publication
• Programming -- an introduction to computer science with Standard ML
• Proving pointer programs in higher-order logic

Cited in

(1)

• Proof pearl: constructive extraction of cycle finding algorithms

This page was built for software: Tortoise Hare