רשת ספריות המדיטק - הטכניון, הפקולטה למתמטיקה