Vol-1009⫷ Vol-1010 ⫸Vol-1011
urn:nbn:de:0074-1010-0


None⫷None⫸None

Computer algebra implemented in Isabelle's function package under Lucas-interpretation — a case study