Some thoughts

Satisfiability

• Article 0 - Let's see.

Matroids

• Article 0 - a list of links.
• Article 1 - independence axioms.
• Article 2 - base axiom.

Maxima

• Basics of polynomials.
• Basics of number theory.