Algebraic And Boolean Methods For Computation And Certification Of Ramsey-Type Numbers