Каталог стандартных формул

В этом каталоге собраны все 534 опубликованных стандартных определений. Каждая формула имеет полную исполняемую реализацию.