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.