Zaslat SMS: Mathematical aspects of finite element methods