The top documents tagged [formal systems of equations]