This is the most general navigation page on the Tricki. It contains links to other very general pages about different classes of mathematical problem.

Techniques for finding algorithmic proofs

Techniques for classifying mathematical structures

Techniques for solving equations

Techniques for proving existence

Techniques for proving identities

Techniques for proving inequalities

Techniques for maximizing and minimizing

Techniques for proving universal statements