A distance-vector routing protocol for IPv6 and IPv4.
A collection of mathematical knowledge in a formal, correct form.