Symbolizing While Solving Linear Systems | AMiner