《北史．卷三一．高允傳》：「允尤明算法，為算術三卷。」