A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra

João F. Ferreira, Alexandra Mendes. A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. Journal of Logic and Algebraic Programming, 85(5):906-920, 2016. [doi]

Abstract

Abstract is missing.