basis-existence-and-steinitz
צמצום מעשי: מסדרים את הווקטורים כעמודות, מדרגים, והעמודות הפיבוטיות במטריצה המקורית הן הבסיס; משפט שטייניץ הוא הנימוק לכך שקבוצה בת״ל לעולם אינה גדולה מקבוצה פורשת.
MathKiller כולל מאות שאלות תרגול על אלגברה לינארית 1 (קורס 20109 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.