The top documents tagged [algebraic proofs c]