Stern-Brocot Tree

swMATH28560MaRDI QIDQ40274FDOQ40274

Author name not available (Why is that?)

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

Cited In (7)

• RADA
• HOLCF
• Applicative Lifting
• Meta Model Isabelle
• Equational Reasoning with Applicative Functors
• A decision procedure for (co)datatypes in SMT solvers
• Friends with benefits. Implementing corecursion in foundational proof assistants

This page was built for software: Stern-Brocot Tree