The linear-algebra provides a usability layer to April (an APL compiler). The geometry is just geometry with intersections (Its pretty cool in that it has planes, infinite sections, etc). Then there's KR with formulas thrown out and the constraint solver right from multi-garnet. Some utils. It's a start.

You are right, I will update that page with more explanations on the particular subsystems.