Linear Recurrences

From MaRDI portal

Software:43908

Jump to:navigation, search

swMATH32197MaRDI QIDQ43908FDOQ43908

Author name not available (Why is that?)

Cited In (1)

A verified implementation of algebraic numbers in Isabelle/HOL

This page was built for software: Linear Recurrences

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:43908&oldid=29513292"