direct-sum-criterion
להוכחת סכום ישר בודקים בנפרד (לוקחים בחיתוך ומראים ) ואת ; קיצור נפוץ: אם והחיתוך אפס, נוסחת הממדים סוגרת אוטומטית .
MathKiller כולל מאות שאלות תרגול על אלגברה לינארית 1 (קורס 20109 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.