Mathematical methods and software tools for systems biology