Nuovi algoritmi simbolici per risolvere un sistema lineare tridiagonale bordato generale