The top documents tagged [arithmetic systems]