Tittelen på hovedoppgaven er:
I oppgaven så blir forskjellig programvare brukt. Om disse kan
du lese her:
Selve oppgaven (uten appendikset og referanselisten) kan du lese
her
Algebraisk spesifikasjon av numerisk programvare
LarchProver
The Larch/C++ Project
Larch generelt
Beklager den mindre gode kvaliteten, latex2html er ikke helt godt.