Linear Recurrences

MaRDI QIDQ43908swMATHFDO

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

Cited in

(2)

• A verified implementation of algebraic numbers in Isabelle/HOL
• Count Complex Roots

This page was built for software: Linear Recurrences